{"id":"758a7c7b-013e-49fd-89e2-e6c57bfd480e","arxiv_id":"2507.12537","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A sector decomposition of phase space assigns ordered momentum mappings to antenna functions without partial fractioning, enabling simpler N3LO infrared subtraction.","lead":"This paper develops a way to sort particle radiation into phase-space sectors so that infrared singularities can be subtracted with ordered momentum mappings, avoiding the messy partial-fraction decomposition used before. It is a technical enabler for next-to-next-to-next-to-leading-order (N3LO) predictions in QCD.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Missing analytic proof of sector coverage: the 12-sector N3LO algorithm in §3.2.1 is not shown to exclude every infrared limit forbidden by the assigned ordered mapping, so the 'any matrix element' claim rests on finite numerical tests.","rationale":"The paper's abstract makes a universal claim, but the only analytical justification is an assertion that the sectors isolate the correct limits. The reader's verdict correctly identifies this as the weakest point, and I agree: the sector inequalities in §3 are motivated by the NNLO case (s12s34 vs s13s24) and extended to N3LO by a min-selection plus product comparisons, but no theorem shows that the 12 sectors are compatible with the allowed-limit list of the 5→2 mapping. The pointwise numerical tests in §4.2.2 are strong evidence for the specific configurations tested, and the application in [61] is a real success, but they do not settle the universal claim. I also note that the 'proof of equivalence' in §4.1 is terse: Eq. (4.6) claims the reduced-phase-space integrals differ by relabelling of Pa and Pb, which is not justified termwise for distinguishable radiators; however, the global relabelling/sum-over-sectors argument may hold, and the NNLO comparisons in Figs. 1–2 provide direct numerical support. The most decisive gap remains exhaustive coverage of all IR limits in the triple-unresolved sectors. A finite symbolic or numerical enumeration of all limit patterns for the 12 sectors would settle it. Because the numerical evidence and the N3LO application are compelling, the verdict should remain conditional rather than being upgraded to accept or downgraded to reject.","tokens_in":29133,"tokens_out":9141,"duration_ms":102002,"concrete_test":"Enumerate all possible infrared limits for the 5-parton configuration {1h,2,3,4,5h}: for every subset of {2,3,4} that becomes soft and every partition of the remaining momenta (with hard radiators 1 and 5) into collinear clusters, derive the vanishing pattern of Mandelstam invariants and check, for each of the 12 sectors in §3.2.1, whether that pattern satisfies the sector inequalities; if it does, verify that the corresponding limit appears in the allowed list for the assigned ordering in §2.3.3. This can be automated symbolically, or by sampling phase-space points with invariants scaled by powers of a small parameter x and checking the sector assignment and the mapping's behaviour in each limit. If every compatible limit is allowed, the coverage property holds for the 12-sector algorithm; any counterexample would falsify the central claim.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim ('singularities of any matrix element can be subtracted with ordered mappings, without partial fractioning') rests on the sector coverage property: for each of the 12 triple-unresolved sectors defined in §3.2.1, and the analogous sectors in §3.2.2–3.2.3, every infrared configuration that can occur inside the sector must be in the allowed list of the assigned ordered 5→2 mapping in §2.3.3. This property is asserted in §3 and relied on in §4.1, where the mappings are said to 'correctly behave in all the infrared configurations by construction', but no general analytic proof is given. The numerical tests in §4.2.2 sample a selection of limits (single/triple/double collinear, soft+collinear) for the three antenna functions used in [61]; they do not exhaustively enumerate all vanishing-invariant patterns compatible with the sector inequalities. Without an exhaustive proof or scan, the 'any matrix element' claim is not established: a sector could admit a limit such as C(1,4)⊗C(3,5) or S(2)⊗C(1,4)⊗C(3,5) while the assigned ordering forbids it, producing an uncancelled divergence. The proof of equivalence in §4.1 does not fill this gap: Eq. (4.6) assumes the mapping is correct in each sector rather than proving it, and the relabelling argument is not sufficient as stated.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proposes a phase-space sector decomposition that assigns ordered antenna momentum mappings to antenna functions with multiple unordered emissions, thereby avoiding partial fractioning into sub-antennae. For NNLO and N3LO, the authors define sectors through inequalities among Mandelstam invariants: two sectors for two unordered emissions, and for three unresolved emissions three algorithmic families (three unordered emissions, one unordered plus two ordered emissions, and a gluon emitted between multiple dipoles). The central claim is that, with this decomposition, the singularities of any matrix element can be subtracted locally using ordered mappings. The paper presents a purported analytic proof of equivalence between the sector strategy and the sub-antenna strategy, followed by numerical validation: NNLO event-shape comparisons against an existing sub-antenna implementation, and point-by-point deep-infrared cancellation tests for the relevant double- and triple-real subtraction terms, including the antenna functions used in the N3LO jet-production calculation of [61].","tokens_in":29425,"tokens_out":26620,"duration_ms":235087,"significance":"If the sector-coverage property is correct, this is a valuable technical simplification for local subtraction schemes: it removes the need for antenna-specific partial fractioning, scales more gracefully with the number of emissions, and has already been used in a first differential N3LO calculation. The paper is explicit and algorithmic, the sector conditions are purely kinematic with no fitted parameters, and the numerical validation is extensive: agreement with the independent sub-antenna implementation at NNLO, deep-collinear cancellation tests at N3LO, and recovery of known results in [61] all support the practical usefulness of the method. The main weakness is that the advertised analytical proof does not actually establish the central coverage property; the 'any matrix element' claim therefore rests on finite numerical evidence. This is a genuine but, in my view, fixable gap.","major_comments":[{"comment":"The central coverage property is asserted rather than proved. The text says in Section 3.1 that the algorithm relies on the fact that the Mandelstam conditions only allow some invariants to vanish in each region, and postpones the proof to Section 4; however, Section 4 does not contain a proof that each of the 12 (or 12, 5) sectors excludes every infrared configuration on the fail list of the assigned ordered 5-to-2 mapping in Section 2.3.3. The numerical tests in Section 4.2.2 sample a finite set of limits and do not exhaustively enumerate all vanishing-invariant patterns compatible with the sector inequalities. Without a general argument, the abstract's claim that 'the singularities of any matrix element can be subtracted with ordered mappings' is not established; please supply an analytic case analysis or scope the claim to the antenna functions and limits explicitly tested.","section":"Section 3.2.1 (and 3.2.2, 3.2.3)"},{"comment":"The proof of equivalence between the sub-antenna and sector strategies is not sufficient as written. The step in Eq. (4.6) assumes that the reduced-phase-space integrals of F with P^(i) and P^(k) differ only by a relabelling of the two mapped hard momenta; in general, two different ordered antenna mappings are not related by a simple swap of P_a and P_b, and if the equality is intended to hold only after summation over the sub-antennae, that is not demonstrated. Moreover, Eq. (4.6) is an integrated equivalence; it does not show that the sector subtraction term cancels the real-emission singularities locally in phase space, which is precisely what the numerical t-variable tests check and what the paper's wording 'singularities ... can be subtracted' requires. The analytical validation should either be completed or explicitly presented as a heuristic consistency argument.","section":"Section 4.1, Eq. (4.6)"},{"comment":"The statement that the decomposition works for 'any matrix element' goes beyond what is established by the paper. The manuscript treats three specific N3LO scenarios (Sections 3.2.1-3.2.3) and validates a selected set of antenna functions (eA0_4, D0_4,c, F0_4,b, eA1_4, ~~A0_5, eA0_5, C0_5). Unless the missing proof is supplied, the claim should be scoped to the illustrated classes of unordered configurations and to the antenna functions used in [61]; as written, the generality claim is a correctness-risk concern rather than a demonstrated fact.","section":"Abstract and Section 1"}],"minor_comments":[{"comment":"Several figure panels have garbled or nonstandard axis labels (e.g., 'd /d1mT' instead of dσ/d(1-T)); please clean up the typography and use conventional event-shape notation.","section":"Figures"},{"comment":"The sentence 'The configuration with two unordered gluons is equivalent to the first case, since there is no ordering for a single non-abelian gluon' is unclear and should be rephrased or expanded.","section":"Section 3.2"},{"comment":"The tRRR distribution plots would be easier to interpret if the precise phase-space limit defining each panel (which particles are soft and which are collinear) were stated explicitly in the captions.","section":"Section 4.2"},{"comment":"In the sentence 'See [48] for the specific conventions...', reference [48] is a journal article; the citation style should be consistent with the rest of the bibliography.","section":"Section 2.4"}],"recommendation":"major_revision","confidential_remarks":"This is a useful methods paper with strong numerical validation and a clear practical impact, including its use in a first differential N3LO calculation. My main concern is that the advertised analytic proof does not actually prove the sector-coverage property on which the general claim rests; the proof in Section 4.1 is at best an integrated-equivalence heuristic and does not address local cancellation. I would be willing to accept after the authors either supply a rigorous proof (e.g., an exhaustive case analysis of the vanishing invariants compatible with each sector) or explicitly restrict the claims to the configurations and antenna functions tested. The manuscript fits JHEP's scope and the underlying idea appears sound."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Ken, quick take on 2507.12537. The new thing here is real: instead of partial-fractioning antenna functions into sub-antennae to handle unordered emissions, the authors partition phase space by simple inequalities on Mandelstam invariants and assign each sector an ordered mapping. This is much cleaner and scales to three emissions. They give explicit 12-sector algorithms for three unordered emissions, for one unordered plus two ordered, and for gluon emission between dipoles. The method has already been used in the first fully differential N3LO e+e- jet calculation [61], which is a serious external validation.\n\nThe numerical work is the strong part. At NNLO they compare the sector implementation against the established sub-antenna implementation for several event shapes and see agreement. At N3LO they run point-by-point cancellation tests for a wide set of single, double, and triple unresolved limits, at several infrared depths, and the cancellations behave as they should. That is real evidence the sector definitions work for the configurations they tested.\n\nThe soft spots are analytic. The sector coverage property—that each sector excludes every infrared limit forbidden by the assigned ordered mapping—is asserted but not proven. The NNLO case is simple enough to be convincing. The N3LO 12-sector case is more complex, and the numerical tests, while broad, do not exhaust all vanishing-invariant patterns. The claim in the abstract that 'any matrix element' can be treated this way is stronger than what is demonstrated. That should be qualified or proven.\n\nThe equivalence proof in Section 4.1 is the weakest part. Eq. (4.6) claims the difference between sub-antenna and sector approaches vanishes by a 'simple re-labelling' of the mapped momenta. As written, that does not follow: P^(i) and P^(k) are different functions of the antenna momenta, so the reduced phase-space integrals are not obviously equal. The numerical NNLO comparison suggests the statement is true, but the proof needs to be reworked or replaced by a more careful argument. This is a fixable flaw, not a fatal one.\n\nVerdict: worth sending to review. The algorithmic idea is sound, the validation is substantial, and the application to N3LO jet production makes it important for the antenna subtraction community. The referee should push for a real coverage proof (or an explicit conjecture) and a cleaner equivalence argument. I would cite it and probably bring it to group meeting.","headline":"A practical phase-space sector method that removes the partial-fractioning bottleneck for ordered mappings, with strong numerical evidence but a missing analytic coverage proof and a shaky equivalence argument.","tokens_in":29924,"tokens_out":4265,"would_cite":true,"duration_ms":49490,"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":"A simple decomposition of the phase space into sectors defined by quadratic inequalities on Mandelstam invariants lets any infrared singularity be subtracted with ordered momentum mappings, eliminating the need for partial fractioning.","keywords":["infrared subtraction","antenna subtraction","ordered momentum mappings","phase-space sectors","N3LO QCD","partial fractioning","sub-antennae","local subtraction"],"falsifier":"Scan the 12 sectors defined in Section 3.2.1 with phase-space points approaching each triple-unresolved configuration that the default $(1,2,3,4,5)$ antenna mapping is said to fail on, for example $S(2)\\otimes C(1,4)\\otimes C(3,5)$ or $C(1,3)\\otimes C(2,4,5)$, and check whether the sector-selected mapping reproduces the expected hard momenta. A single point where the reconstructed $P_1,P_2$ differ from the exact soft or collinear limit would falsify the coverage claim; likewise, a cancellation test that degrades with depth for any listed configuration would show the sectors do not separate the limits they claim to separate.","tokens_in":28925,"feed_emoji":"🧩","tokens_out":7699,"duration_ms":83640,"temperature":0.7,"pith_summary":"At next-to-next-to-leading order and beyond, the momentum mappings used in antenna-type infrared subtraction schemes assume a fixed ordering of the emitted partons, but subleading-colour matrix elements contain emissions that can become collinear in any order. Previous work handled these unordered configurations by partial-fractioning antenna functions into sub-antennae, a procedure that proliferates terms and becomes impractical at N$^3$LO. This paper proposes instead a decomposition of the phase space into sectors defined by simple quadratic inequalities on Mandelstam invariants, so that each sector contains only the infrared configurations compatible with one ordered mapping. The authors show that with this decomposition any matrix element's singularities can be subtracted using ordered mappings alone, without partial fractioning, and argue that the resulting integrated subtraction terms equal those of the sub-antenna approach. Because the sectors are mapping-based rather than antenna-specific, the method scales to three unresolved emissions and has already been used for the first fully differential N$^3$LO jet-production calculation.","feed_headline":"Sector cuts let ordered mappings handle unordered emissions","feed_subtitle":"A simple phase-space split removes the need to partial-fraction antenna functions, unlocking ordered mappings for N3LO subtraction.","key_machinery":"The load-bearing objects are the ordered antenna mappings, $\\{p_1^h,p_2,\\dots,p_n,p_{n+1}^h\\}\\to\\{P_1,P_2\\}$, which absorb unresolved momenta into two hard ones while preserving momentum conservation and on-shellness, but which reconstruct the correct hard momenta only when collinear clusters occur with a fixed adjacency. To make these mappings applicable everywhere, the paper introduces phase-space sectors: regions cut out by inequalities among products of Mandelstam invariants, such as $s_{12}s_{34}\\le s_{13}s_{24}$ at NNLO, and more elaborate min-selection plus product-comparison rules for the three N$^3$LO scenarios. Each sector selects one ordering of the mapping, and the sectors are disjoint and cover the full phase space. The analytical argument that carries the equivalence to sub-antennae is the factorization of the antenna phase space from the reduced phase space, which makes the integrated result independent of the mapping choice.","core_discovery":"The paper's central claim is that the obstruction to using ordered momentum mappings in the presence of multiple unordered emissions is a phase-space bookkeeping problem, not a property of the antenna functions themselves. By cutting the phase space along the surface $s_{12}s_{34}=s_{13}s_{24}$ for two unresolved emissions, and by generalized min-selection and product-comparison rules for three emissions, each sector can be assigned a definite ordering of the momenta; within that sector, the antenna mapping reconstructs the correct hard momenta in every infrared limit that can occur there. The full antenna function is evaluated unchanged in every sector, so soft and other shared divergences are never split into pieces. The paper proves the equivalence of this sector construction to the previous sub-antenna decomposition at the level of integrated subtraction terms, Eq.~(4.6): $S_1-S_2=0$, because the reduced phase space and the integral over it are independent of which ordered mapping is chosen. Numerical point-by-point tests at NNLO and N$^3$LO confirm that the sector-selected mappings cancel the real-emission singularities with the same depth as the sub-antenna implementation.","pith_inferences":["Going beyond the paper, the sector logic is generic: any subtraction method whose momentum map has ordering restrictions could adopt the same invariant-inequality separation without modifying its local counterterms.","For even higher orders, the algorithm can be iterated recursively rather than enumerated factorially: first locate the smallest invariant to pin one emission next to a hard radiator, then apply the lower-multiplicity product comparison to the remaining emissions.","The integrated equivalence $S_1-S_2=0$ leaves freedom to mix strategies: one could keep existing sub-antennae for some colour structures and use sectors only for the problematic unordered configurations, without changing the final answer.","A natural next step is an analytic proof of the sector coverage property for the triple-unresolved 12-sector algorithms, which the paper currently verifies only numerically."],"forward_implications":["Ordered momentum mappings suffice for local subtraction up to N$^3$LO: no partial fractioning of antenna functions is needed, even for fully unordered abelian-gluon emissions.","The same sector decomposition applies unchanged to one-loop double-unresolved antenna functions, so going from NNLO to N$^3$LO requires no new antenna-specific work for the mapping problem.","Because the antenna function is evaluated in full inside each sector, soft and other shared divergent terms are not split, removing a source of large intermediate cancellations.","The integrated result is identical to the sub-antenna approach, so existing NNLO antenna-subtraction results remain valid when the sector method is used.","The construction has been used in the first fully differential N$^3$LO calculation of jet production at $e^+e^-$ colliders."],"supporting_citations":[{"why":"Establishes the antenna subtraction framework and the phase-space factorization used in the equivalence proof.","marker":"[3]"},{"why":"Introduces the antenna factorization of gauge-theory amplitudes, the origin of the ordered antenna mapping.","marker":"[46]"},{"why":"Provides the explicit 4-to-2 and 5-to-2 ordered antenna mappings whose correct limits define the sector requirements.","marker":"[47]"},{"why":"Defines the sub-antennae by partial fractioning, the NNLO baseline that the sector method is designed to replace.","marker":"[48]"},{"why":"Gives the designer antenna algorithm that fixes unambiguous hard radiators, isolating the unordered-emission problem addressed here.","marker":"[43]"},{"why":"Reports the N3LO jet-production calculation in which the sector-based mapping implementation was applied.","marker":"[61]"}],"fun_headline_variants":["Sector cuts end partial fractioning at N3LO","Phase-space sectors enable ordered mappings without fractions","Sector decomposition clears path for ordered mappings at N3LO","No more fractions: sector cuts unlock ordered mappings","Simple phase-space split simplifies N3LO subtraction"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the sector inequalities (the min-selection and product-comparison rules in Section 3) genuinely separate phase-space regions whose only infrared configurations are compatible with the assigned momentum ordering; the triple-unresolved cases are validated numerically, but no general analytic proof of this coverage property is given.","fun_headline_variants_meta":{"raw":{"variants":["Sector cuts end partial fractioning at N3LO","Phase-space sectors enable ordered mappings without fractions","Sector decomposition clears path for ordered mappings at N3LO","No more fractions: sector cuts unlock ordered mappings","Simple phase-space split simplifies N3LO subtraction"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000484,"raw_usage":{"total_tokens":2396,"prompt_tokens":962,"completion_tokens":1434,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":578,"completion_tokens_details":{"reasoning_tokens":1359}},"tokens_in":578,"tokens_out":1434,"duration_ms":11680,"temperature":1.0,"reasoning_tokens":1359,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-06T16:45:30.369182+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Scan the 12 sectors defined in Section 3.2.1 with phase-space points approaching each triple-unresolved configuration that the default $(1,2,3,4,5)$ antenna mapping is said to fail on, for example $S(2)\\otimes C(1,4)\\otimes C(3,5)$ or $C(1,3)\\otimes C(2,4,5)$, and check whether the sector-selected mapping reproduces the expected hard momenta. A single point where the reconstructed $P_1,P_2$ differ from the exact soft or collinear limit would falsify the coverage claim; likewise, a cancellation test that degrades with depth for any listed configuration would show the sectors do not separate the limits they claim to separate.","supporting_citations":[{"cited_title":"Multiple Singular Emission in Gauge Theories","cited_arxiv_id":"hep-ph/0212097","evidence_quote":"Provides the explicit 4-to-2 and 5-to-2 ordered antenna mappings whose correct limits define the sector requirements."}],"review_version":1}