{"id":"03be2221-0562-4cc3-b34d-9451866fb366","arxiv_id":"2412.14856","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":5.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"OpenLoops has implemented the building blocks for automated two-loop amplitude calculations in QED and QCD, passing UV pole cancellation checks for simple vertex functions but with broader validation still ongoing.","lead":"This paper reports the status of OpenLoops, a computer program that automatically calculates quantum corrections to particle collision processes, now being extended to next-to-next-to-leading order (NNLO). The authors have implemented and tested some of the pieces needed to compute two-loop corrections, with only partial validation so far.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The central claim rests on unvalidated two-loop rational counterterms; UV pole cancellation alone does not establish correctness of the finite parts.","rationale":"The reader identified the same load-bearing assumption: the two-loop rational counterterms must correctly reconstruct all (D-4)-dimensional numerator effects, and the IR extension is missing. My analysis reinforces this: the available checks are only pole-cancellation tests, which cannot detect a systematic error that cancels in the pole but distorts the finite part. The paper's own statements confirm that finite-part validation and four-point checks are pending. Therefore the central claim is plausible but not yet established. The correct verdict remains CONDITIONAL, requiring the finite-part comparison as a condition for full acceptance. No additional independent concern (e.g., internal inconsistency or obvious computational error) was found; the implementation is internally coherent as far as the reported tests go. The proposed concrete test is the decisive missing validation step, and the paper itself indicates it is underway, so no change to the reader's verdict is needed.","tokens_in":9167,"tokens_out":2391,"duration_ms":23658,"concrete_test":"Compute the finite parts of the two-loop off-shell QED and QCD vertex functions (e.g., photon-fermion and gluon-quark form factors) using the implemented OpenLoops framework and compare them numerically against known analytic results from the literature (e.g., the two-loop massless vertex master integrals of [18] and published form-factor expressions). Require agreement to, say, 10 digits in the finite part. A discrepancy would directly invalidate the two-loop rational counterterm construction; agreement would validate the UV rational terms and the renormalisation procedure.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim is that OpenLoops now constructs fully renormalised D-dimensional two-loop amplitudes for QED and QCD corrections to the SM. The load-bearing assumption is that the two-loop rational counterterms from [8-10] correctly reconstruct all effects of (D-4)-dimensional numerator components when they interact with UV poles, and that this reconstruction extends to IR poles. The paper itself states in Section 4 that 'the interplay of (D-4)-dimensional numerator parts with IR poles is still under investigation', and the validation reported so far consists only of checking cancellation of the 1/epsilon poles in (6) for a few two- and three-point amplitudes. This is a necessary but not sufficient test: a missing or incorrect rational term would shift the finite parts while still allowing pole cancellation to occur if the error is systematic (e.g., a common sign or normalization error in the counterterm implementation). Since the rational counterterms are process-independent and derived in earlier papers, an error there would propagate to all two-loop amplitudes, making the central automation claim fail at the level of physical predictions. The paper acknowledges that the comparison of finite parts to the literature is still ongoing, so the automated construction is currently unvalidated precisely where the correctness claim is strongest.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"Schär and Zoller report the status of two-loop automation in OpenLoops. They decompose D-dimensional two-loop amplitudes into Feynman integrals with four-dimensional numerators plus (D-4)-dimensional remainders, the latter to be reconstructed through universal rational counterterms. The paper describes the recursive construction of tensor coefficients for irreducible and reducible two-loop diagrams (Section 2), a first projector/IBP-based reduction of two-loop tensor integrals for simple massless topologies (Section 3), and the implementation in OpenLoops of a two-loop renormalisation procedure with UV rational counterterms (Section 4). Validation so far consists of checking the cancellation of UV poles in Eq. (6) for several two- and three-point QED and QCD vertex functions; finite-part comparisons and the four-point QCD check are stated as ongoing, and the interplay of (D-4)-dimensional numerator parts with IR poles is not yet implemented.","tokens_in":9340,"tokens_out":8255,"duration_ms":66243,"significance":"If the framework delivers correct finite parts, it would be a notable step toward automated NNLO predictions, and the process-independent decomposition in Eqs. (7)-(9) together with the explicit master formulas in Eqs. (26)-(27) are valuable building blocks. The paper has no fitted free parameters, it presents a nontrivial self-consistency check (UV pole cancellation), and it is honest about many of its limitations. However, the current significance is conditional: the rational counterterms are not yet validated on finite parts, and the strength of the claims in the abstract and in Section 4 exceeds what the reported evidence supports.","major_comments":[{"comment":"The abstract says that the renormalisation procedure and the reconstruction of (D-4)-dimensional numerator parts through two-loop rational counterterms 'has been implemented and validated', and Section 4 states that the combination to 'fully renormalised D-dimensional amplitudes' is implemented. The only validation reported there, however, is the cancellation of UV poles in Eq. (6) for a few two- and three-point QED/QCD vertex functions; the finite parts are explicitly said to be still to be compared with the literature, and the interplay of (D-4)-dimensional numerator parts with IR poles is 'still under investigation'. Because a missing or incorrect rational term can shift finite parts while leaving pole cancellation intact, this evidence validates pole cancellation only, not the full renormalised amplitude. Please either report a finite-part check for at least one amplitude or replace 'validated' by 'partially validated (UV pole cancellation only)' throughout the abstract and Section 4.","section":"Abstract and Section 4, Eq. (6)"},{"comment":"The sentence 'The algorithms for all categories of two-loop diagrams are fully implemented and validated for QED and QCD corrections to the Standard Model' is stronger than what Section 4 documents, where validation is restricted to UV pole cancellation and the four-point QCD vertex-function check is still ongoing. Please state the exact validation criterion used for the tensor-coefficient algorithms in Section 2, or move the word 'validated' to the discussion in Section 4 where its domain is defined.","section":"Section 2, final paragraph"},{"comment":"The in-house reduction described in Section 3 (projectors plus IBP with FIRE, stored as Fortran libraries for simple topologies) is used both to build the two-loop amplitudes and to perform the pole-cancellation test of Section 4. Because the same reduction chain appears on both sides of Eq. (6), a systematic error in that reduction could in principle cancel between the loop terms and the counterterms. A comparison of the finite parts of the QED and QCD three-point functions with known analytical results would provide the independent check needed to underwrite the validation claim; the paper states this comparison is ongoing, but until it is reported the claim 'validated' should be qualified.","section":"Sections 3 and 4"}],"minor_comments":[{"comment":"The initial condition 'N-1 = 1 1' in Eq. (21) is garbled; it should presumably be an identity or 'N_-1 = 1', and the notation should be defined explicitly.","section":"Eq. (21)"},{"comment":"In footnote 6 the newly introduced counterterm is written as 'δZ1,γ' after 'while', but the equation and text use 'δZ~1,γ'; please correct the symbol.","section":"Footnote 6"},{"comment":"The statement that 'D-dimensional quantities cannot be computed numerically in a direct way' is imprecise; many numerical tools evaluate D-dimensional integrals via analytic continuation or dimensional recurrence. What matters here is that OpenLoops' recursive construction requires four-dimensional numerators, and the text should say that.","section":"Section 1"},{"comment":"The validation section would benefit from specifying the exact list of amplitudes (processes, number of points, kinematics) and from saying how many diagrams and topologies were exercised; 'several two and three-point amplitudes' is too vague for reproducibility.","section":"Section 4"}],"recommendation":"major_revision","confidential_remarks":"This is effectively a proceedings-style status report. The main editorial risk is the gap between the word 'validated' in the abstract and the actual checks described in Section 4, which test only UV pole cancellation. A careful revision that scopes the validation claim to what has been demonstrated would make the paper acceptable as a progress report; for a full research journal, the missing finite-part validation and the absence of IR rational terms would need to be addressed before the central claim can be considered established."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: this is a progress report, and an honest one. For anyone tracking numerical NNLO automation, the news is that OpenLoops now has a working implementation of the two-loop renormalisation procedure including the rational counterterms, and that implementation cancels the 1/eps poles in a handful of two- and three-point QED and QCD vertex functions. That is a real milestone for their program, even though it is exactly the kind of check that catches gross errors, not the kind that confirms the finite parts.\n\nThe genuinely new content is the implementation itself: the tensor coefficient recursion was described in refs [11,12], but this paper records that it is now coded for all diagram topologies and combined with the counterterm insertions of Eqs. (26)-(27). Section 4 also notes a practical subtlety worth remembering: Collier and OneLoop do not provide the O(eps) parts needed when the 1/eps pole of a UV counterterm multiplies the one-loop integral, so they had to use their own tensor reduction for those pieces. That detail will save someone time.\n\nThe soft spots are visible, and the paper points to them itself. Validation is only UV pole cancellation; finite parts are not yet compared with the literature, and the four-point QCD check is ongoing. The rational terms that would reconstruct the (D-4)-dimensional numerator parts interacting with IR poles are not implemented; Section 4 says that interplay is under investigation. So the stress-test concern is real, but it is not a hidden flaw: the authors state the limitation twice. I would hold them to that framing when citing the work.\n\nThe tensor integral reduction in Section 3 is deliberately limited to massless two- and three-point topologies plus a few four-point ones, so the validation covers a small slice of what a full two-loop tool needs. Again, this is disclosed.\n\nIf this were a full journal submission rather than a Loops-and-Legs proceedings write-up, the right referee report would be: sound as far as it goes, but do not claim full two-loop automation until the finite parts match the literature and the IR rational terms are in place. As a status report it deserves a serious read by anyone in the NNLO automation area, and it should be citable for 'OpenLoops has passed UV pole cancellation at two loops.' I would not reject it; I would publish it as proceedings and keep the caveat prominently in mind.","headline":"Honest status report from the OpenLoops group: the two-loop renormalisation code is running and passes UV pole-cancellation checks, but finite parts and IR rational terms are explicitly still on the to-do list.","tokens_in":9882,"tokens_out":2510,"would_cite":false,"duration_ms":20275,"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":"OpenLoops now builds fully renormalised two-loop QED and QCD amplitudes.","keywords":["two-loop amplitudes","OpenLoops","rational counterterms","dimensional regularization","tensor integral reduction","NNLO predictions","QED and QCD corrections","renormalisation"],"falsifier":"Compute the finite part of an on-shell two-loop QED or QCD vertex function with the implemented pipeline and compare it with an independent analytic result; any mismatch shows the rational counterterms miss some (D-4)-dimensional effects. A cheaper test is to run the four-point QCD vertex function, which the paper says is still pending, and look for a residual UV pole.","tokens_in":1617,"feed_emoji":"⚛️","tokens_out":4215,"duration_ms":71340,"temperature":0.7,"pith_summary":"The paper reports the status of an effort to automate two-loop amplitude calculations in the OpenLoops framework. Its central claim is that the framework now contains a complete implementation of the renormalisation procedure for two-loop QED and QCD corrections to the Standard Model, combining two-loop amplitudes with the proper one-loop and tree-level counterterm insertions. The UV poles have been shown to cancel in several off-shell two- and three-point amplitudes. This is a step toward automated NNLO predictions for collider processes.","feed_headline":"OpenLoops achieves renormalised two-loop amplitudes for QED and QCD","feed_subtitle":"UV poles cancel for two- and three-point functions, a step toward automated NNLO predictions.","key_machinery":"The central mechanism is the decomposition of amplitudes according to equation (6), separating loop integrals with four-dimensional numerators from $(D-4)$-dimensional remainders, and the reconstruction of those remainders through process-independent rational counterterms combined with the usual UV counterterms. The four-dimensional pieces are built by a recursive algorithm that multiplies universal loop-segment building blocks into tensor coefficients, and the resulting two-loop tensor integrals are reduced to master integrals using projector techniques plus integration-by-parts identities.","core_discovery":"The paper's central claim is that, following the master formula in equation (6), every renormalised two-loop amplitude can be assembled from the unrenormalised two-loop contribution plus three counterterm contributions: a one-loop amplitude with one-loop counterterm insertions, a tree-level amplitude with a single two-loop counterterm, and a tree-level amplitude with double one-loop counterterm insertions. Each counterterm includes not only the standard UV counterterm but also a rational term that restores the effects of the $(D-4)$-dimensional numerator parts on UV poles. The implemented pipeline has verified the cancellation of UV poles for several two- and three-point off-shell QED and QCD vertex functions.","pith_inferences":["A natural extension the authors leave implicit is that if the rational-counterterm reconstruction works for UV poles, the same principle might eventually package infrared-singular $(D-4)$-dimensional effects into universal counterterms, potentially simplifying NNLO subtraction schemes.","The finite parts of the QED and QCD vertex functions are said to be under computation; comparing those finite parts against known analytic results would convert the current UV-pole check into a full validation of the whole rational-term construction.","The paper notes the projector/IBP reduction becomes impractical for high tensor ranks and masses, so the practical reach of the tool will likely be set by the new reduction method being developed, not by the renormalisation procedure."],"forward_implications":["If the central claim is correct, the same counterterm machinery can generate the double-virtual contribution for any QED or QCD correction to a Standard Model process, once the tensor-integral reduction is extended beyond simple topologies.","The verified UV pole cancellation means the renormalisation bookkeeping, including the rational counterterms, is consistent for off-shell vertex functions.","Because the rational counterterms are model-dependent but process-independent, the implementation can be ported to other renormalisable theories without rederiving the recursion machinery.","The paper's stated next step, treating $(D-4)$-dimensional numerator parts interacting with infrared poles, is the difference between off-shell validation and physical on-shell observables."],"supporting_citations":[{"why":"Derives the formula for renormalised two-loop amplitudes with rational counterterms of UV origin on which the implemented master formula is based.","marker":"[8]"},{"why":"Provides the complete set of two-loop rational counterterms for Yang-Mills theories, used for the QCD parts.","marker":"[9]"},{"why":"Provides the two-loop rational counterterms for spontaneously broken theories, covering the electroweak/QED parts.","marker":"[10]"},{"why":"Defines the recursive algorithm for two-loop tensor coefficients implemented in the framework.","marker":"[11]"},{"why":"Supplies the integration-by-parts identities used in the tensor integral reduction.","marker":"[15]"},{"why":"FIRE6 performs the reduction of scalar integrals to master integrals inside the tensor integral library.","marker":"[16]"},{"why":"FIRE6.5, with the new simplification library, is the current reduction engine used in the same step.","marker":"[17]"},{"why":"Provides the analytic master integrals for massless two-loop vertex diagrams used to evaluate the reduced integrals.","marker":"[18]"},{"why":"FIESTA5 numerically evaluates master integrals that lack simple analytic expressions.","marker":"[19]"},{"why":"Documents first insights into the interplay of (D-4)-dimensional numerator parts with IR poles, the stated open issue.","marker":"[20]"}],"fun_headline_variants":["OpenLoops: renormalised two-loop amplitudes for QED and QCD","OpenLoops two-loop automation: UV poles cancelled in QED/QCD","Renormalised two-loop amplitudes in OpenLoops for QED and QCD","Two-loop renormalisation in OpenLoops: QED and QCD UV poles cancel"],"cache_read_input_tokens":12032,"weakest_assumption_plain":"The whole scheme assumes that universal rational counterterms capture every way the extra dimensional components of loop numerators affect ultraviolet poles; so far only the pole cancellations in a few off-shell functions have been checked, not the finite leftovers.","fun_headline_variants_meta":{"raw":{"variants":["OpenLoops: renormalised two-loop amplitudes for QED and QCD","OpenLoops two-loop automation: UV poles cancelled in QED/QCD","Renormalised two-loop amplitudes in OpenLoops for QED and QCD","Two-loop renormalisation in OpenLoops: QED and QCD UV poles cancel"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000756,"raw_usage":{"total_tokens":3337,"prompt_tokens":898,"completion_tokens":2439,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":514,"completion_tokens_details":{"reasoning_tokens":2351}},"tokens_in":514,"tokens_out":2439,"duration_ms":14395,"temperature":1.0,"reasoning_tokens":2351,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T11:49:55.410714+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the finite part of an on-shell two-loop QED or QCD vertex function with the implemented pipeline and compare it with an independent analytic result; any mismatch shows the rational counterterms miss some (D-4)-dimensional effects. A cheaper test is to run the four-point QCD vertex function, which the paper says is still pending, and look for a residual UV pole.","supporting_citations":[{"cited_title":"Two-loop tensor integral coefficients in OpenLoops","cited_arxiv_id":"2201.11615","evidence_quote":"Defines the recursive algorithm for two-loop tensor coefficients implemented in the framework."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the integration-by-parts identities used in the tensor integral reduction."},{"cited_title":"Master Integrals For Massless Two-Loop Vertex Diagrams With Three Offshell Legs","cited_arxiv_id":"hep-ph/0407343","evidence_quote":"Provides the analytic master integrals for massless two-loop vertex diagrams used to evaluate the reduced integrals."},{"cited_title":"Zhang,UV and IR rational terms in two-loop amplitudes: first insights, PoSLL2022 (2022) 072","cited_arxiv_id":null,"evidence_quote":"Documents first insights into the interplay of (D-4)-dimensional numerator parts with IR poles, the stated open issue."}],"review_version":1}