{"id":"0734687c-a9bd-49be-bc74-06930f7caef1","arxiv_id":"2508.02589","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"For di-Higgs production at high energies, the leading top-mass power and leading logarithms are now understood, reducing scheme-choice uncertainty in the virtual amplitude.","lead":"This paper reports progress on reducing the uncertainty in QCD predictions for Higgs boson pair production at very high energies. It uses effective field theory to understand the top-quark mass dependence and to resum the largest logarithms.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"LL resummation of the leading-power term does not by itself control scheme dependence from finite renormalization constants; the 'significant reduction' claim needs a numerical demonstration, not stated in the abstract.","rationale":"The reader correctly identified the shared weak spot: whether the leading-power all-orders term captures the renormalisation-scheme dependence. My stress-test sharpens this into a more specific logical gap: the scheme conversion factor contains finite, non-logarithmic terms that LL resummation does not determine, so the inference from 'leading-power behavior known to all orders' to 'significant scheme-uncertainty reduction' is not automatic. The reader's verdict of UNVERDICTED is appropriate because the full text is corrupted and the central derivation cannot be inspected; my concern reinforces that the paper should not be accepted as-is, but it does not justify REJECT since the underlying physics could well be sound once the numerical demonstration is supplied. Therefore the verdict remains UNVERDICTED, with the concrete test above serving as a necessary condition for later conditional acceptance. I did not find evidence of an internal inconsistency in the stated method; the concern is about the strength and scope of the practical claim, which the abstract states without quantitative support.","tokens_in":22181,"tokens_out":7920,"duration_ms":96263,"concrete_test":"Take a published fixed-order gg->HH virtual amplitude (e.g., NLO) evaluated in the high-energy limit. For a set of phase-space points, e.g., m_HH from 0.6 to 2 TeV at central rapidity, compute the amplitude in two top-mass schemes (pole and MSbar with mu = m_t and mu = 2 m_t), both (a) at fixed order and (b) after applying the paper's LL resummation of the leading-power term. Form the ratio R = |A_MSbar - A_pole|_LL-resummed / |A_MSbar - A_pole|_fixed-order. If R is not below, say, 0.5 across the range, the claim of significant reduction is not supported. This check can be run without re-deriving the all-orders result if the code or numerical setup is available.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim has two parts: (i) the leading power in m_t of the gg->HH amplitude in the hierarchy s,|t|,|u| >> m_t^2 >> m_H^2 is understood to all orders in alpha_s, and (ii) LL resummation of this term significantly reduces the top-mass-scheme uncertainty of the virtual amplitude. Even granting (i) as a formal statement about the leading logarithmic exponents obtainable from the SCET/rapidity anomalous dimension, (ii) does not follow from (i) alone. The scheme dependence enters through the relation between the top-quark mass in different renormalization schemes (e.g., pole vs MSbar). That conversion is a series in alpha_s whose coefficients contain non-logarithmic finite parts, not just the logarithms resummed at LL. If the finite matching coefficients at the relevant perturbative order are not controlled, the residual scheme spread in the resummed amplitude remains of the same order as the original fixed-order spread. Moreover, the leading-power term is multiplied by m_t^2(mu) and logarithms; subleading powers in m_t^2/s, formally suppressed but potentially carrying large logarithms of m_t^2/m_H^2 or angular factors, are not controlled by the all-orders leading-power statement and may shift differently under a scheme change. The abstract reports no numerical comparison of the scheme spread before and after resummation, so the word 'significant' is unsupported. This is a load-bearing gap because the practical motivation of the paper is precisely that uncertainty reduction.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript (arXiv:2508.02589) reports progress on top-quark mass scheme uncertainties in gg -> HH production at high energy. The abstract states that, in the hierarchy s, |t|, |u| >> m_t^2 >> m_H^2 and using the Method of Regions and Soft-Collinear Effective Theory, the leading-power-in-m_t behavior of the amplitude is understood to all orders in the strong coupling expansion, and that leading-logarithmic resummation leads to a significant reduction in the scheme-choice uncertainty of the virtual amplitude. The supplied full text is almost entirely unreadable due to character corruption, and it contains an unrelated arXiv identifier and repeated garbled blocks; consequently, no equation, factorization step, anomalous dimension, or numerical result can be inspected or checked.","tokens_in":22461,"tokens_out":4277,"duration_ms":47673,"significance":"If the all-orders and resummation claims are correct, the paper would provide analytic control over the dominant top-mass dependence of di-Higgs production in the high-energy limit and would address a known source of theory uncertainty relevant for HL-LHC phenomenology. The method named in the abstract is standard, the hierarchy is physically clear, and no fitted parameters are invoked, which are points in favor of the approach. However, the significance cannot actually be assessed from the supplied text: the central derivations are absent or unreadable, and the claimed 'significant reduction' in scheme uncertainty is not accompanied by any numerical or quantitative demonstration in the abstract.","major_comments":[{"comment":"The supplied full text is not readable as a scientific manuscript: most characters are garbled replacement symbols, and the text contains an unrelated arXiv identifier, 'arXiv:2508.02590v2 [quant-ph] 18 May 2026', which does not match the paper under review. No equation, factorization step, anomalous dimension, boundary condition, or numerical result can be verified. This is load-bearing because the central claim that the leading-power-in-m_t amplitude is understood to all orders cannot be checked from the submitted material; a legible and self-consistent manuscript must be provided before any substantive evaluation is possible.","section":"Full text / Abstract"},{"comment":"The claim that leading-logarithmic resummation 'leads to a significant reduction in the scheme choice uncertainty' is not supported by any numerical or analytic comparison in the abstract. Scheme dependence enters through the finite, non-logarithmic parts of the relation between renormalization schemes, for example pole versus MS-bar top-quark mass, and LL resummation of the leading-power term does not by itself control those finite matching coefficients. The manuscript needs a quantitative demonstration, such as a table or plot of the scheme spread of the virtual amplitude before and after resummation in the stated hierarchy, including the possible impact of subleading powers in m_t^2/s.","section":"Abstract"},{"comment":"The document contains repeated garbled blocks and an appended unreadable section, so the manuscript does not allow identification of the derivation supporting the statement 'the leading power in m_t behaviour of the amplitude is understood to all orders in the strong coupling expansion.' It is also unclear from the abstract whether 'understood to all orders' means exponentiation of the leading logarithms, knowledge of an anomalous dimension to all orders, or a complete all-order expression for the leading-power coefficient. The revision should state precisely what is resummed, at which accuracy, and how the all-orders claim follows from the stated Method of Regions/SCET setup.","section":"Full text"}],"minor_comments":[{"comment":"The abstract should specify whether 'virtual amplitude' refers to the full gg -> HH amplitude or only the hard function after SCET factorization, and should define the normalization of the amplitude used in the scheme-uncertainty comparison.","section":"Abstract"},{"comment":"The hierarchy s, |t|, |u| >> m_t^2 >> m_H^2 deserves a brief comment on its kinematic reach, since at fixed s large |t| corresponds to large scattering angles while the inclusive cross section is dominated by small |t|; the reader should know whether the claimed reduction applies to the amplitude in that region or to the integrated cross section.","section":"Abstract"},{"comment":"The manuscript contains many replacement/placeholder characters and at least one foreign arXiv header; please ensure the source file, PDF encoding, and arXiv submission are consistent so that the mathematical content is legible.","section":"Full text"}],"recommendation":"uncertain","confidential_remarks":"The supplied text is not a reviewable manuscript: it is mostly corrupted characters and includes a different arXiv identifier. I would ask the authors to resubmit a clean, legible version before further review. Even with a clean text, the abstract's uncertainty-reduction claim needs numerical support; without it, the paper cannot be accepted as is. I see no citation-pattern or novelty-disclosure concern, but the manuscript cannot be judged in its current form."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The abstract promises something useful for di-Higgs: all-orders control of the leading m_t behavior in the high-energy amplitude, and an LL resummation that supposedly shrinks the top-mass scheme uncertainty. If the derivation is right, that's a genuine step for a process where scheme choice is a known theory error. Applying SCET and Method of Regions here is a natural extension of an established program, but getting the all-orders leading-power statement is still real work. Credit for that.\n\nThe soft spot is exactly the one the stress-test flags. The scheme uncertainty is not carried only by the logarithms that LL resummation controls. The conversion between top mass schemes has finite, non-logarithmic pieces at each order. If those aren't under control, the residual scheme spread after resummation can stay comparable to the fixed-order spread. The abstract reports no numbers, so 'significant reduction' is a promise, not a result. Also, subleading powers in m_t^2/s can shift under scheme changes and are not tamed by the leading-power all-orders statement. That matters if the practical goal is reducing the uncertainty at realistic high energies. These are not fatal to the formal result, but they are load-bearing for the paper's motivation.\n\nI also have to be honest that the full text we have is corrupted, so I could not check any equation, the definitions of the resummed logarithms, or the claimed all-orders exponent. The reader's assessment is accurate. The method names are standard, which keeps me from doubting the approach, but the central claim is unverified in this artifact.\n\nWho is this for? People working on gg->HH predictions, top-mass scheme uncertainties, and high-energy effective theory. They should read it and check whether the numerical comparison appears in the complete version. As a proceedings piece, it's a reasonable progress report, but the abstract overreaches. My recommendation for a formal peer-review setting: send it to a referee, because the all-orders result and resummation are worth checking, but insist that the author provide the numerical scheme-spread comparison before and after resummation. Without that, the practical claim should not be accepted.","headline":"Plausible all-orders leading-power result for gg->HH at high energy, but the claimed scheme-uncertainty reduction is not demonstrated without numerics.","tokens_in":22954,"tokens_out":2331,"would_cite":true,"duration_ms":27070,"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":"High-energy di-Higgs production is claimed to have its leading top-quark mass dependence understood to all orders in the strong coupling, with leading-log resummation shrinking the scheme-choice uncertainty in the virtual amplitude.","keywords":["di-Higgs production","Higgs pair production","top-quark mass scheme","high-energy limit","soft-collinear effective theory","method of regions","leading logarithmic resummation","QCD corrections"],"falsifier":"Compute the two-loop virtual $gg\\to HH$ amplitude at high $s$ in two different top-quark mass renormalisation schemes, both with and without the leading-log resummation, and include the first subleading power in $m_t^2/s$. If the scheme spread is not reduced by the resummation once that subleading term is included, the claimed control of scheme uncertainty would be incomplete. A simpler check: evaluate the exact one-loop amplitude numerically at large $s$ in two schemes and compare the scheme spread of the full result with the scheme spread of the leading-power resummed result; agreement within the claimed accuracy would confirm the claim, while a mismatch would refute it.","tokens_in":21973,"feed_emoji":"⚛️","tokens_out":4861,"duration_ms":54165,"temperature":0.7,"pith_summary":"These proceedings report on a result about Higgs pair production: in the kinematic limit $s,|t|,|u| \\gg m_t^2 \\gg m_H^2$, the leading power of the top-quark mass in the $gg\\to HH$ amplitude is understood to all orders in the strong coupling expansion. The paper also claims that resumming the leading logarithms in this limit substantially reduces the uncertainty that comes from choosing a top-quark mass renormalisation scheme. This matters because di-Higgs production is the main experimental probe of the Higgs self-coupling, and the top-mass scheme choice is currently one of the larger theoretical uncertainties in the process. If the claim holds, high-energy di-Higgs predictions become noticeably more stable against this particular choice even without computing new fixed-order terms.","feed_headline":"Di-Higgs top-mass uncertainty tamed at high energies","feed_subtitle":"Leading-log resummation puts the top-mass dependence of di-Higgs production under all-orders control.","key_machinery":"The load-bearing object is the factorisation of the high-energy amplitude achieved by the Method of Regions and soft-collinear effective theory (SCET), an effective field theory that separates short-distance hard fluctuations from soft and collinear long-distance ones. In the strict hierarchy $s,|t|,|u| \\gg m_t^2 \\gg m_H^2$, the physics splits into scale-separated pieces, each carrying a definite power of the small ratio $m_t^2/s$, and the leading power can be resummed by renormalisation-group evolution of the factorised functions. This machinery is what converts a two-scale loop problem into a product of individually computable objects, which is what yields the all-orders statement about the leading $m_t$ behaviour.","core_discovery":"The paper's central claim is that the leading power in $m_t$ of the $gg\\to HH$ amplitude in the regime $s,|t|,|u| \\gg m_t^2 \\gg m_H^2$ is under analytic control to all orders in the strong coupling expansion. Using the Method of Regions together with soft-collinear effective theory, the dominant top-mass dependence of the amplitude is factorised into hard and soft functions, and the leading logarithmic terms are resummed. As a consequence, the paper argues, the spread among predictions obtained with different top-quark mass renormalisation schemes is much smaller in the resummed virtual amplitude at high energies than in the fixed-order treatment.","pith_inferences":["The paper leaves implicit that the same leading-log resummation should also reduce scheme dependence in the real-emission contributions; extending the factorisation beyond the virtual amplitude would test that.","A natural next step is to compute the next-to-leading power in $m_t^2/s$; if that correction is also tractable with the same region analysis, the strict hierarchy could be relaxed toward realistic LHC kinematics.","One could read this result as evidence that the heavy-top effective field theory, which treats the top quark as infinitely heavy, misses exactly the logarithmic scheme sensitivity that the resummed result controls; comparing the two limits would quantify when the effective theory is trustworthy."],"forward_implications":["If the claim is correct, high-energy di-Higgs cross-section predictions no longer need to wait for additional fixed-order perturbative orders to reduce top-quark scheme uncertainty; the leading-log resummation already does so.","The all-orders control of the leading $m_t$ power provides a benchmark that existing fixed-order $gg\\to HH$ calculations can be checked against in the high-energy limit.","Resummed predictions become more stable across different top-quark mass renormalisation schemes, which cleans up the remaining theoretical error budget for interpreting Higgs self-coupling measurements.","The same factorisation structure could in principle be applied to other heavy-quark mass scheme uncertainties in related Higgs production processes."],"supporting_citations":[],"fun_headline_variants":["Top-mass scheme spread tamed in high-energy di-Higgs","All-orders top-mass control for high-energy di-Higgs","High-energy di-Higgs: resummation shrinks top-mass scheme spread","Leading-log resummation tames di-Higgs top-mass uncertainty","Pinned down: all-orders top-mass behavior in di-Higgs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"Everything rests on the assumption that, in the limit where the scattering energy is far above the top-quark mass, the dominant top-mass dependence carries essentially all of the scheme-choice uncertainty, and the neglected small corrections stay small.","fun_headline_variants_meta":{"raw":{"variants":["Top-mass scheme spread tamed in high-energy di-Higgs","All-orders top-mass control for high-energy di-Higgs","High-energy di-Higgs: resummation shrinks top-mass scheme spread","Leading-log resummation tames di-Higgs top-mass uncertainty","Pinned down: all-orders top-mass behavior in di-Higgs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.002276,"raw_usage":{"total_tokens":8717,"prompt_tokens":804,"completion_tokens":7913,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":420,"completion_tokens_details":{"reasoning_tokens":7816}},"tokens_in":420,"tokens_out":7913,"duration_ms":51718,"temperature":1.0,"reasoning_tokens":7816,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-15T17:37:22.161280+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the two-loop virtual $gg\\to HH$ amplitude at high $s$ in two different top-quark mass renormalisation schemes, both with and without the leading-log resummation, and include the first subleading power in $m_t^2/s$. If the scheme spread is not reduced by the resummation once that subleading term is included, the claimed control of scheme uncertainty would be incomplete. A simpler check: evaluate the exact one-loop amplitude numerically at large $s$ in two schemes and compare the scheme spread of the full result with the scheme spread of the leading-power resummed result; agreement within the claimed accuracy would confirm the claim, while a mismatch would refute it.","supporting_citations":[],"review_version":1}