{"id":"f6482553-9ebd-443d-b3fe-b94d8fa23601","arxiv_id":"1908.05588","paper_version":2,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"For a heavy scalar coupled to top quarks, only an NLO-matched effective field theory reproduces the full model across the LHC energy range, while a leading-order fit overestimates the high-mass tail and LHC constraints.","lead":"This paper studies a simple extension of the Standard Model with a new heavy particle that couples only to top quarks, and checks when a low-energy effective description is trustworthy. It finds that next-to-leading-order corrections are essential: without them, an effective-theory fit would overestimate new physics and produce too aggressive LHC exclusion bounds.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"NLO-EFT validity is established only for µM=mS/2; residual matching-scale dependence is acknowledged but not quantified, so the Fig. 8 agreement could be partly scheme-specific.","rationale":"The reader accepted the paper and identified the Section IV projection assumptions as the weakest point. My concern is different and more central: the NLO-EFT validity demonstration is made at one matching scale, with residual scale dependence acknowledged but never quantified. This is load-bearing because the headline message is that NLO corrections make the EFT reliable down to low mS; if that reliability is sensitive to µM, the conclusion is not robust as stated. The proposed check is inexpensive and would either validate the claim (if mmax is stable) or require qualification. I therefore recommend conditional acceptance: the scale-dependence check should be added or the conclusions softened. The paper is otherwise internally consistent, with UV-finiteness checks and explicit Monte Carlo cross-checks, and the Section IV assumptions are transparently stated. No issue with the fixed-order calculation itself is raised.","tokens_in":16281,"tokens_out":8098,"duration_ms":87190,"concrete_test":"Recompute the NLO EFT ttbar invariant-mass distribution and the validity contours of Fig. 8 for at least three matching scales, µM = mS/4, mS/2, and mS (plus µM = 1 TeV for mS > 2 TeV), keeping all other inputs fixed. Record the 5% and 10% values of mmax(t¯t) as a function of mS. If these curves vary by more than ~20% in mS, or if agreement with the full model is lost below mS for any choice, the central NLO-validity claim should be reported with an explicit matching-scale uncertainty or restricted to the scheme used.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The paper's methodological conclusion—that NLO matching restores EFT validity for mS near LHC energies—is based on Figs. 6–8, all computed with the single matching scale choice µM = mS/2 (Sec. II). The authors explicitly note that the cross section has a logarithmic dependence on µM, and Fig. 5 shows that the matched Wilson coefficient ctG varies substantially with µM (e.g. by a factor of about 2–3 at mS = 5 TeV between µM = 1 TeV and µM = mS). Since the NLO EFT prediction is the sum of a tree-level OtG insertion with this scale-dependent coefficient and a one-loop Ott insertion, the cancellation that produces agreement with the full theory may be specific to the chosen µM. Because Eq. (A6) only fixes the sum of loop-inserted ctt and tree-level ctG, there is additional scheme freedom in how finite terms are distributed. If the validity contours in Fig. 8 shift substantially under a conventional variation µM ∈ [mS/4, mS], the statement 'excellent validity' would need to be qualified as scheme-dependent, and the claimed breakdown scale of the EFT description would carry an unquantified uncertainty. This concern targets the central claim itself, rather than the explicitly flagged projection assumptions in Sec. IV.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies a simplified model in which a heavy scalar S couples to top quarks via cS * tbar_L t_R S + h.c. It computes the O(cS^2) corrections to top pair production in the full theory (gluon fusion and quark-antiquark annihilation) with on-shell renormalization and explicit UV-finiteness checks, derives the low-energy dimension-six EFT consisting of the chromomagnetic operator OtG and the four-top operator Ott, and matches the EFT to the full theory at NLO in the simplified-model coupling. It then compares the full theory with the NLO-matched EFT and with a naive bottom-up LO EFT fit as functions of mS and the t-tbar invariant mass, finding excellent NLO-EFT agreement for scalar masses down to a few TeV while the naive LO approach overestimates the high-mass tail. Finally, it projects HL-LHC constraints from t-tbar and four-top production on the (mS, cS) plane, concluding that four-top production is competitive with t-tbar for low masses and that estimated systematic uncertainties push constraints into the non-perturbative regime of the full model for larger masses.","tokens_in":16561,"tokens_out":9681,"duration_ms":91159,"significance":"If the claims hold, this is a useful and concrete case study of when NLO matching is mandatory in EFT analyses of top-quark sectors, and it quantifies the danger of naive LO EFT constraints. The paper's strengths include an explicit one-loop calculation with on-shell renormalization and UV-finiteness checks, a transparent matching relation in Appendix A, and direct EFT-to-full-theory comparisons in Figs. 6-8 that provide a falsifiable, quantitative statement about the range of EFT validity. The demonstration that the NLO-matched EFT reproduces the full model while the LO EFT overestimates kinematic distributions is a genuinely informative result for LHC phenomenology. The main caveat is the residual matching-scale and scheme dependence, which is acknowledged in the text but not quantified; this affects the central 'excellent validity' claim and needs to be addressed before the conclusion can be fully trusted.","major_comments":[{"comment":"The central validity comparison in Figs. 6-8 is performed at a single matching scale mu_M = mS/2. Fig. 5 shows that the matched coefficient ctG varies substantially with mu_M (roughly a factor of 2-3 at mS = 5 TeV between mu_M = 1 TeV and mu_M = mS), and Appendix A notes that Eq. (A6) fixes only the sum of the loop-inserted ctt and the tree-level ctG, so finite terms can be moved between the two coefficients. Because the NLO EFT result is a cancellation between a tree-level OtG insertion with this scale-dependent coefficient and a one-loop Ott insertion, the good agreement with the full theory in Figs. 6-8 could be specific to the chosen scheme. Please quantify the residual scheme dependence, for example by repeating the validity analysis for mu_M = mS/4 and mu_M = mS and showing that the mmax(tbar-t) lines in Fig. 8 shift by less than the quoted tolerance, or by giving a reasoned argument for why the chosen scheme is the preferred one.","section":"Section II / Appendix A, Eqs. (A6)-(A8), Fig. 5"},{"comment":"The 'naive effective' curves, which are the basis for the claim that a bottom-up LO fit overestimates the high-mass tail, are not reproducible as presented. The text says only that ctG was treated as a free parameter and fitted to Monte Carlo data generated with the full theory; the fitted observable, binning, and fit range are not given. Since the amount of overestimation (and hence the 'over-optimistic constraints' statement in Section IV) depends on where in the m_tt distribution the coefficient is normalized, please specify the fitting procedure or, alternatively, show the result of the fit for two different normalization choices to demonstrate that the qualitative conclusion is robust.","section":"Section III, Figs. 6-7"}],"minor_comments":[{"comment":"The assumptions behind Fig. 9 (flat 3% uncertainty for the unfolded m_tt distribution, 18% accuracy for the tttt cross section, and an approximate K factor of 2.5 for the squared s-channel contribution) are stated, but a small sensitivity scan would help the reader judge how robust the 'constraints enter the non-perturbative regime' conclusion is.","section":"Section IV, Fig. 9"},{"comment":"The axis label 'ratio wrst full' is ambiguous; please replace it with something like '|EFT - full| / |full|' or 'ratio w.r.t. full'.","section":"Figs. 6-7"},{"comment":"The red curves for four-top production are LO only, as stated in the text and Footnote 2, but the figure caption does not say so; please add 'LO' to the caption to avoid confusion with the NLO t-tbar curves.","section":"Fig. 9 caption"},{"comment":"The phrase 'excellent validity' is quantified in Fig. 8 only for cS = 1 and a specified percentage tolerance; the abstract could state this qualification (for example, 'within 10-20% for m_tt up to ...').","section":"Abstract"}],"recommendation":"major_revision","confidential_remarks":"The paper is a solid case study within the journal's scope. The two major comments are both addressable with additional analysis (quantifying the matching-scale dependence and specifying the naive-fit procedure), so I do not see grounds for rejection. No concerns about citation practices or novelty."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This is a genuinely useful paper, and the NLO matching calculation is the real thing. The authors take a top-philic scalar simplified model, integrate it out, and retain both the loop-induced chromomagnetic operator OtG and the tree-level four-top operator Ott. They match at NLO in the coupling, including operator mixing, and show that the matched EFT reproduces the full model in ttbar invariant mass down to scalar masses near LHC energies, while the \"naive\" LO fit with only OtG badly overestimates the high-mass tail. That last point is the central methodological message, and the paper earns it: the full and EFT curves in Figs. 6-7 agree well, and the LO deviation is stark. The calculation looks solid: on-shell renormalization, MS counterterms for the EFT operators, UV finiteness checked analytically and numerically, implemented in Vbfnlo with MadGraph cross-checks. They also transparently flag the assumptions in the LHC projection section (3% ttbar, 18% four-top, K factor for the s-channel resonance).\n\nThe softest spot is the matching-scale dependence. All the validity plots use µM = mS/2, and the matched ctG varies substantially with µM (Fig. 5). The stress-test note worries that the agreement in Figs. 6-8 could be partly scheme-specific. That concern is legitimate but not fatal: the authors define a scheme by fixing ctt from four-top scattering and state that only the sum of loop-inserted ctt and tree-level ctG is scheme-independent. The residual µM dependence is formally higher order, but they do not quantify how much the validity contours shift under a conventional variation like mS/4 to mS. That should be added, or at least discussed, before publication. It is a moderate weakness, not a reason to reject.\n\nThe projected constraints in Fig. 9 are the weakest part, but the authors are upfront that these are extrapolations based on assumed uncertainties. The four-top full-model curve is LO only (footnote 2), and the K factor of 2.5 is approximate. These do not undermine the main message but do limit the precision of the exclusion contours.\n\nWho is this for? Phenomenologists working on EFT validity, top-philic new physics, and LHC interpretations. It deserves a serious referee. I would accept it with requests for a matching-scale variation study and some discussion of the scheme dependence.\n\nRecommendation: send to peer review. The paper is a solid, honest case study with a clear and useful conclusion.","headline":"A solid NLO matching case study showing that naive LO EFT overestimates top-pair tails; the main soft spot is unquantified matching-scale dependence, but that is a fixable weakness, not a fatal flaw.","tokens_in":17123,"tokens_out":2899,"would_cite":true,"duration_ms":29603,"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":"NLO-matched effective field theory reproduces a top-philic scalar model down to scalar masses near LHC energies, while the leading-order EFT overestimates the high-mass tails.","keywords":["effective field theory","top quark","simplified model","next-to-leading order matching","top pair production","four top production","dimension-six operators","LHC constraints"],"falsifier":"Measure the unfolded $m_{t\\bar t}$ distribution at the HL-LHC with per-bin uncertainties below 3% in the 1–3 TeV range; if the high-mass tail falls below the NLO-matched EFT prediction or tracks the leading-order EFT shape, the claimed validity of NLO matching for $m_S\\simeq 2$ TeV is falsified.","tokens_in":16040,"feed_emoji":"⚛️","tokens_out":9287,"duration_ms":79194,"temperature":0.7,"pith_summary":"The paper asks when effective field theory (EFT) can stand in for a concrete new-physics model at the Large Hadron Collider. It studies a minimal extension in which a new heavy scalar couples only to top quarks, derives the two dimension-six operators generated at low energy, and matches them to the full model at next-to-leading order. The central finding is that the matched EFT reproduces the full model's top-antitop invariant-mass distribution almost exactly even when the scalar mass is only slightly above LHC energies, whereas a naive leading-order EFT fit overestimates the high-mass tail. This matters because LHC searches increasingly set EFT constraints; if those constraints are computed at leading order, they could be over-optimistic by a large margin. The paper also projects HL-LHC sensitivities and finds that four-top and top-pair production have comparable exclusion power, with constraints for large scalar masses drifting into a non-perturbative region where matching the EFT to the full model is no longer possible.","feed_headline":"Top-quark EFT stays valid near LHC energies—if matched at NLO","feed_subtitle":"Leading-order fits overestimate high-mass tails; matched one-loop EFT tracks the full heavy-scalar model.","key_machinery":"The load-bearing object is the NLO-matched pair of dimension-six operators generated by the scalar: $O_{tt} = (\\bar t t)^2$ (or the scalar-propagator expansion at low momentum) and $O_{tG} = v\\,\\bar t_L T^a \\sigma^{\\mu\\nu} t_R\\, G^a_{\\mu\\nu}$. The four-fermion operator is tree-induced and fixes the coefficient $c_{tt}$ through $t\\bar t\\to t\\bar t$ scattering; the dipole operator is loop-induced, and its Wilson coefficient is fixed by matching the one-loop full-theory amplitude to the one-loop EFT amplitude at $\\mu_M = m_S/2$. A one-loop insertion of $O_{tt}$ generates a UV divergence that is absorbed by a counterterm for $O_{tG}$, and that operator mixing is what restores agreement with the full theory. Dropping the $O_{tt}$ contribution, as a naive LO fit does, removes the balance and produces the overestimate of the tail.","core_discovery":"In the simplified model of a new heavy scalar $S$ that couples only to top quarks, $\\mathcal{L}_{\\rm BSM} = \\tfrac12 \\partial_\\mu S\\,\\partial^\\mu S - \\tfrac12 m_S^2 S^2 - (c_S\\,\\bar t_L t_R S + \\mathrm{h.c.})$, integrating out $S$ generates two dimension-six operators: a four-top contact operator $O_{tt}$ that enters at tree level, and a gluon-top dipole operator $O_{tG}$ that is loop-induced. The paper matches the EFT to the full theory at next-to-leading order in $c_S$, renormalising the one-loop $O_{tt}$ insertion in the $\\overline{\\rm MS}$ scheme and fixing $O_{tG}$ at a matching scale $\\mu_M = m_S/2$. The central discovery is that the NLO-matched EFT reproduces the full model's $m_{t\\bar t}$ distribution to within a few percent for scalar masses as low as about 2 TeV, essentially down to LHC energies, whereas a naive leading-order EFT that fits only $O_{tG}$ severely overestimates the high-mass tail and would yield over-optimistic bounds on new physics. Using projected HL-LHC uncertainties, the paper further finds that four-top production has comparable exclusion power to top-pair production at low scalar masses, while for larger masses the projected constraints enter a regime where the full model is non-perturbative and cannot be matched to the EFT.","pith_inferences":["Inference: the same failure mode—a tree-induced operator mixing into a loop-induced one—is likely to distort LO EFT fits in other top-philic scenarios beyond a single scalar, so the LO-overestimation lesson generalises.","Inference: the paper demonstrates the point with the $m_{t\\bar t}$ distribution, but the mechanism suggests other tail-sensitive observables, such as the top $p_T$ distribution, should show the same NLO-versus-LO discrepancy.","Inference: because the four-top comparison is leading order in the full model, higher-order corrections there could shift the mass at which the full model loses sensitivity; a full NLO four-top calculation would be a direct test.","Inference: if actual HL-LHC unfolded top-pair uncertainties are larger than the assumed 3%, the constraints enter the non-perturbative region at even lower scalar masses, strengthening the paper's caution."],"forward_implications":["Top-pair EFT fits at the LHC are reliable for a top-philic scalar down to $m_S\\simeq 1.5$–$2$ TeV only if next-to-leading-order matching and operator mixing are included.","A leading-order EFT that floats only $O_{tG}$ overestimates the high-mass tail, so published constraints derived that way are too strong for this class of models.","Four-top final states contribute constraints comparable to top-pair production at low scalar masses and should be included in global top-sector EFT fits.","For scalar masses above roughly $2$–$3$ TeV, projected HL-LHC uncertainties push allowed couplings into the non-perturbative regime, so the full and EFT descriptions cannot be perturbatively matched there.","Improving the theoretical uncertainty of Standard Model top final states is the prerequisite for pushing LHC constraints into the perturbatively matchable region."],"supporting_citations":[{"why":"Defines the standard dimension-six SM EFT operator basis to which the four-top operator is contrasted.","marker":"[7]"},{"why":"Supplies the binned chi-squared method used to project top-pair exclusion contours.","marker":"[15]"},{"why":"Provides the HL-LHC four-top sensitivity extrapolation that motivates the assumed 18% uncertainty.","marker":"[56]"},{"why":"Provides the similar simplified scalar-top model that the paper uses as its starting point.","marker":"[58]"},{"why":"Supplies the QCD K factor for s-channel scalar production used in the projected top-pair exclusions.","marker":"[63]"},{"why":"Confirms the approximate K factor of 2.5 applied to the squared s-channel scalar contribution.","marker":"[64]"},{"why":"Simulates four-top events including interference for the sensitivity projections.","marker":"[88]"},{"why":"Discusses EFT validity ranges, contrasted with the matching-based validity comparison here.","marker":"[95]"}],"fun_headline_variants":["NLO matching keeps top-quark EFT valid near LHC scale","Top EFT works at LHC energies if matched to full scalar model at NLO","Leading-order EFT overestimates; NLO-matched version tracks full theory","Heavy scalar top partner: EFT valid down to 2 TeV with NLO matching"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The projected exclusion curves rest on assumed future measurement uncertainties—a flat 3% uncertainty on the unfolded top-pair invariant-mass distribution, an 18% uncertainty on the four-top cross section, and an approximate K factor of 2.5—not on established data, and if those assumptions are wrong the claimed constraints shift.","fun_headline_variants_meta":{"raw":{"variants":["NLO matching keeps top-quark EFT valid near LHC scale","Top EFT works at LHC energies if matched to full scalar model at NLO","Leading-order EFT overestimates; NLO-matched version tracks full theory","Heavy scalar top partner: EFT valid down to 2 TeV with NLO matching"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000933,"raw_usage":{"total_tokens":4070,"prompt_tokens":1101,"completion_tokens":2969,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":717,"completion_tokens_details":{"reasoning_tokens":2881}},"tokens_in":717,"tokens_out":2969,"duration_ms":19332,"temperature":1.0,"reasoning_tokens":2881,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T13:09:16.533551+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Measure the unfolded $m_{t\\bar t}$ distribution at the HL-LHC with per-bin uncertainties below 3% in the 1–3 TeV range; if the high-mass tail falls below the NLO-matched EFT prediction or tracks the leading-order EFT shape, the claimed validity of NLO matching for $m_S\\simeq 2$ TeV is falsified.","supporting_citations":[{"cited_title":"Aaboud et al","cited_arxiv_id":null,"evidence_quote":"Provides the HL-LHC four-top sensitivity extrapolation that motivates the assumed 18% uncertainty."}],"review_version":1}