{"id":"a9a6fce5-7771-4dee-b753-ad7cd2803e51","arxiv_id":"2411.08795","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Two-pair soft quark current is derived at tree level, and its square reduces to double-dipole, dipole, and triple-color correlations.","lead":"This paper derives the first complete tree-level soft current for emitting two low-energy quark-antiquark pairs from a hard collision, and reduces the square of that current to a small set of color correlations. It is a necessary analytic ingredient for future next-to-next-to-next-to-next-to-leading-order QCD predictions.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Completeness of Eq. (3.10) is asserted without a power-counting proof that the four diagram classes in Fig. 1 exhaust all leading-soft tree diagrams; a missing diagram would invalidate both the current and its square (3.12).","rationale":"The reader's verdict is CONDITIONAL, and our independent read agrees. The strongest claim, Eq. (3.10), is the complete tree-level current; the weakest link is the unproved completeness of the diagram classification in Fig. 1. This is exactly the assumption the reader flagged. The analytical construction of A1, A2, and N is internally consistent, and the strongly-ordered limit in Section 3.3 provides a nontrivial consistency check, but it does not establish exhaustiveness. We also note the secondary reproducibility gap: the final |A2+N|^2 expressions are relegated to an ancillary file with the derivation summarized as 'extensive but straightforward Lorentz contraction algebra'. This would matter even if the current is complete, because Eq. (3.12) is the practical output for N4LO subtraction. We therefore recommend keeping the CONDITIONAL verdict and requiring the authors to provide either an explicit power-counting proof that Fig. 1 is exhaustive or an independent diagrammatic computation. We found no evidence of internal inconsistency, and nothing in the text suggests bad faith.","tokens_in":11829,"tokens_out":12698,"duration_ms":226626,"concrete_test":"Perform an explicit soft power-counting classification of all tree-level Feynman diagrams for the emission of two soft quark-antiquark pairs from an n-hard-parton amplitude: for each topology, count the degree of homogeneity in the soft momenta q1...q4 by assigning 1/q^2 for each off-shell gluon propagator, 1/q for each eikonal hard-line attachment, q for each triple-gluon or four-gluon vertex, and q^0 for hard internal propagators. Verify that only the four classes of Fig. 1 achieve the minimal degree (1/q^6). As a cross-check, evaluate the current (3.10) and the full set of tree diagrams for n=3 at a generic numerical phase-space point and compare the leading soft behavior; agreement would corroborate completeness.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central result (3.10) is the claim that the tree-level current for two soft quark-antiquark pairs is exactly A1 + A2 + N, with A1, A2, N in (3.6), (3.9), (3.7). This claim is only as solid as the assertion in Section 3.1 that the four diagram classes shown in Figure 1 are the complete set of leading-soft contributions. No power-counting argument is presented that excludes, for example, topologies in which the two off-shell gluons q12 and q34 meet at a four-gluon vertex (with the two additional gluon lines attached to hard partons), or in which a soft pair is emitted from an internal non-eikonal propagator of the hard amplitude. Treating the soft momenta as uniformly small, a four-gluon-vertex topology yields internal gluon propagators 1/q12^2 and 1/q34^2 but no eikonal enhancement for the hard attachments, so its naive scaling (1/q^4) is less singular than the leading 1/q^6; however, this is precisely the kind of estimate that the paper should state explicitly. If the actual power counting admitted any additional topology at 1/q^6, the current (3.10) would be incomplete and the squared current (3.12) would inherit the error.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper derives a tree-level soft current for the emission of two quark-antiquark pairs in QCD. After reviewing the color-space eikonal formalism, it constructs the current as J = A1 + A2 + N in Eq. (3.10), computes the squared current in Eq. (3.12), and decomposes the result into double-dipole, tripole, and dipole color correlations with kinematic coefficients Qijkl, Qijl, and Qij. It also presents the strongly-ordered soft limit of the square and argues that the result is a necessary ingredient for N4LO infrared-singularity studies.","tokens_in":12087,"tokens_out":13712,"duration_ms":128031,"significance":"If correct, this is the first explicit tree-level four-parton soft current and is a natural building block for N4LO subtraction schemes. The calculation is parameter-free, uses standard eikonal Feynman rules, and the unsquared current is displayed in closed form. The strongly-ordered limit in Section 3.3 provides a nontrivial partial consistency check, and the color reduction follows the established pattern of Catani-Grazzini and Czakon identities. The main limitations are that the completeness of the diagrammatic basis is asserted rather than proven and that the most complex part of the squared current is relegated to an ancillary file, which makes independent verification difficult.","major_comments":[{"comment":"The claim that the four diagram classes in Figure 1 exhaust all leading-soft tree diagrams is asserted without proof. In particular, topologies in which an off-shell gluon is emitted from an internal propagator of the hard amplitude, or in which gluon self-interactions connect the two off-shell pair lines in a way not represented by the listed classes, are not explicitly power-counted. Some such topologies are likely subleading, but this is precisely the point that needs to be demonstrated. Please provide an explicit power-counting argument, or cite and adapt the standard Low-Burnett-Kroll theorem to the pair-emission case, showing that every diagram not of the four types contributes at subleading soft power.","section":"Section 3.1, Eq. (3.10)"},{"comment":"The central squared current (3.12) depends on Qij through Eq. (3.36), but the functions R^{(ab)}_{ij} and R^{(nab)}_{ij} are not given in the paper; they appear only in a computer-readable ancillary file. As a result, a reader cannot verify the claimed reduction of |A2+N|^2 to dipole correlations, the mass-dependence statements, or the overall coefficient in Eq. (3.35). Please include these expressions in an appendix or provide an independent analytic cross-check evaluated from printed formulas, such as a detailed comparison of one representative term or of the full strongly-ordered limit.","section":"Section 3.2, Eqs. (3.35)-(3.36)"}],"minor_comments":[{"comment":"There is a typo in the phrase 'double soft partons (tow gluons...)': 'tow' should be 'two'.","section":"Introduction"},{"comment":"References [7] and [11] appear to be the same Bassetto, Ciafaloni, and Marchesini paper; please consolidate or distinguish them.","section":"References"},{"comment":"The notation '(q qbar ↔ Q Qbar)' should specify precisely which factors are exchanged, especially whether the prefactor t^b/(q1234^2 q34^2) and the spinor prefactor [u3 gamma^nu v4] are included in the exchange, so that the manifest symmetry of the full current can be checked directly.","section":"Eq. (3.9)"},{"comment":"The strongly-ordered limit would be easier to validate if the text stated the precise scaling, for example q3,q4 ~ lambda q1,q2 with lambda -> 0, and explicitly compared the limiting Qij with the known single-pair squared current in the factorized regime.","section":"Section 3.3"},{"comment":"The expression for Qijl is not manifestly symmetric in the hard-parton labels, while its contraction with the fully symmetric tripole operator (3.14) requires symmetrization; the text notes this, but it would be helpful to display the symmetrized form or to define Qijl as the symmetric component from the outset.","section":"Section 3.2, Eq. (3.38)"},{"comment":"The abstract and introduction state that the current is essential for N4LO infrared singularities, but no explicit connection to the structure of N4LO soft anomalies or subtraction schemes is given; a brief explanation of how the square enters such a computation would strengthen the motivation.","section":"Introduction and Conclusions"}],"recommendation":"major_revision","confidential_remarks":"The main uncertainty is the completeness argument for the diagrammatic basis and the dependence of the final squared current on unprinted ancillary expressions. I recommend that the refereeing process include access to the ancillary file, and that the authors be asked to add an explicit power-counting proof or a direct Feynman-diagram check for a simple hard process."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"What you should know: this paper computes the first tree-level soft current for emitting two quark-antiquark pairs, J = A1 + A2 + N in eq. (3.10), and then squares it, decomposing the result into double-dipole, dipole, and tripole color correlations. That object is a genuinely new ingredient for N4LO subtraction schemes, and the paper is the first to write it down. The unsquared current is displayed in full, the strongly-ordered soft limit reduces to the known single-pair factorization, and the appearance of a C_F term in that limit is a new and sensible feature. The citations to the double-soft and triple-soft literature are appropriate, and there is no circularity or fitting: the calculation is parameter-free.\n\nThe soft spots are real but not fatal. First, the claim that the four diagram classes in Figure 1 exhaust all leading-soft tree diagrams is asserted rather than proved. No power-counting argument is given to exclude exotic topologies. The stress-test example with a four-gluon vertex actually scales as 1/q^4 rather than the leading 1/q^6, so it probably does not threaten eq. (3.10), but the authors should state that counting explicitly. This is a minor-to-moderate gap and easily fixable.\n\nSecond, and more importantly, the squared current in eq. (3.12) depends on Qij, which is assembled from R(ab) and R(nab) functions that live only in an ancillary file, and the algebra for |A2+N|^2 is omitted. As printed, the squared current is not independently checkable. A numerical check against a direct Feynman-diagram computation, or at least displaying the key intermediate steps for R(ab) and R(nab), would remove the main doubt. This is a derivational transparency problem, not a sign that the result is wrong.\n\nWho is this for? People who build subtraction schemes at N3LO/N4LO and anyone working on multi-soft factorization in QCD. I would not desk-reject it; the central result is new, specific, and almost certainly correct, and the flaws are in presentation and completeness of proof, not in the underlying method. Send it to a serious referee, with instructions to ask for a power-counting statement, full access to the R functions, and an independent numerical check. With those additions this becomes a solid reference.","headline":"First tree-level soft current for two quark-antiquark pairs, with a clean color decomposition; the unsquared current is explicit and plausible, but the squared current leans on ancillary functions and the diagram-completeness argument is asserted rather than proven.","tokens_in":12673,"tokens_out":1986,"would_cite":true,"duration_ms":20660,"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":"The paper derives the complete tree-level current for the emission of two soft quark-antiquark pairs from a hard scattering, the process-independent factor required for handling four-parton infrared singularities at N4LO in QCD.","keywords":["soft emission","soft current","eikonal approximation","two quark-antiquark pairs","N4LO","infrared singularities","color correlations","QCD"],"falsifier":"An independent power-counting enumeration of every possible tree-level diagram with two soft quark-antiquark pairs would settle the claim: if any topology outside the four classes of Figure 1 survives at leading soft power, eq. (3.10) is incomplete. A direct numerical evaluation of the leading soft limit for a specific process, say a four-hard-parton amplitude with two extra quark-antiquark pairs, compared diagram by diagram with the current (3.10), would also test the result.","tokens_in":11606,"feed_emoji":"⚛️","tokens_out":9297,"duration_ms":75193,"temperature":0.7,"pith_summary":"This paper computes, in perturbative QCD, the leading behaviour of a hard scattering that emits two soft quark-antiquark pairs at once. It constructs the complete tree-level soft current for the two-pair emission, a process-independent factor that multiplies the lower-point amplitude in the soft limit, and then computes the square of that current. The squared current is shown to split into three colour-correlation structures: double-dipole, dipole, and triple-parton correlations. This object is the missing ingredient for understanding the infrared singularities of next-to-next-to-next-to-next-to-leading-order (N4LO) predictions in QCD, where two pairs of soft quarks can be emitted together.","feed_headline":"Two soft quark pairs now have a complete QCD soft current","feed_subtitle":"The new factor splits into dipole, double-dipole, and tripole colour correlations, a missing piece for N4LO QCD predictions.","key_machinery":"The eikonal approximation is the working engine: a soft gluon emitted from a hard parton line is replaced by the eikonal vertex $S_i^\\mu = p_i^\\mu/(p_i\\cdot q)$ times the colour charge $T_i^a$, and a soft quark-antiquark pair is produced from an off-shell soft gluon propagator. Summing over the four diagram classes shown in Figure 1 gives the current. The colour algebra is reduced using the symmetrization identity for two colour charges, a general identity (3.18) that converts anticommutators of anticommutators into dipole and double-dipole operators, and a decomposition of the trace of three fundamental generators into symmetric $d^{abc}$ and antisymmetric $f^{abc}$ parts. These identities are what turn the squared current into the compact form of eq. (3.12).","core_discovery":"The central result is given by eq. (3.10): the complete tree-level current $J_{q\\bar q Q \\bar Q}$ for two soft quark-antiquark pairs is the sum $A_1 + A_2 + N$. The term $A_1$ has a factorized form, built from an off-shell double-gluon current contracted with two quark-antiquark currents; $A_2$ collects the diagrams in which one pair is emitted from the block feeding the other pair; and $N$ is a purely non-Abelian contribution involving the three-gluon vertex. Squaring this current, eq. (3.12) shows that the colour structure contains double-dipole correlations $\\{T_i\\cdot T_j, T_k \\cdot T_l\\}$, triple-parton correlations $d^{abc} T^a_i T^b_j T^c_k$, and ordinary dipole correlations $T_i\\cdot T_j$, with explicit kinematic coefficients. In the strongly-ordered limit where one pair is much softer than the other, the double-dipole coefficient remains exact while the dipole and triple coefficients simplify, and the $C_F$ term appears in the strongly-ordered dipole function, a feature not present in the analogous quark-antiquark-plus-gluon emission.","pith_inferences":["The same eikonal decomposition is likely to extend to the remaining four-parton channels, $ggq\\bar q$ and $gggg$; the paper already notes that a recursive construction handles four gluons, so one can expect those squared currents to organise into the same dipole, double-dipole, and tripole set.","The explicit dipole coefficient $Q_{ij}$ in the ancillary file may reveal local cancellations among the double-dipole, tripole, and dipole terms when the current is inserted into a subtraction scheme, which would reduce the practical cost of an N4LO calculation.","Iterating the strongly-ordered limit should reproduce the single-pair current when one pair is taken much softer than the other, offering a nested consistency check of eqs. (3.38) and (3.39) that the paper does not spell out."],"forward_implications":["The current (3.10) supplies the process-independent double-pair soft factor needed to build subtraction schemes for N4LO cross sections in QCD.","The squared current (3.12) shows that at this order the infrared singularities receive double-dipole, triple-parton, and dipole colour correlations, with no higher colour structures appearing.","In the strongly-ordered limit where one pair is much softer, the double-dipole term remains exact and the $C_F$ contribution enters the dipole function, a new feature relative to the quark-antiquark-plus-gluon case.","The full current is symmetric under exchange of the two soft pairs, and apart from the purely non-Abelian term $N$, it reduces to the Abelian form when colour charges are treated as ordinary electric charges."],"supporting_citations":[{"why":"It supplies the eikonal formalism and the tree-level soft quark-antiquark pair current that the two-pair construction starts from.","marker":"[19]"},{"why":"It provides the squared double-soft-gluon current and the colour identity (3.18) used to reduce the square of the factorized term $A_1$.","marker":"[21]"},{"why":"It gives the analogous quark-antiquark-plus-gluon current and the double-dipole/dipole/tripole classification that the squared two-pair current follows.","marker":"[26]"},{"why":"They establish the single-soft-gluon eikonal current that defines the basic eikonal vertex used throughout the construction.","marker":"[11,12]"},{"why":"They supply the colour-space formalism and dipole factorization notation in which the current and its square are written.","marker":"[9,31]"}],"fun_headline_variants":["Two-soft-quark-pair current now complete","Full QCD soft current for two quark pairs","Missing N4LO piece: two soft quark pairs","Tree-level current for two soft quark pairs","Dipole and tripole correlations from two soft pairs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the four classes of tree diagrams shown in Figure 1 are all the diagrams that contribute at leading power in the soft limit for two quark-antiquark pairs; if a diagram with a different attachment pattern, such as both pairs attached to a fully internal line, also contributes at the same scaling, the current (3.10) and its square would be incomplete.","fun_headline_variants_meta":{"raw":{"variants":["Two-soft-quark-pair current now complete","Full QCD soft current for two quark pairs","Missing N4LO piece: two soft quark pairs","Tree-level current for two soft quark pairs","Dipole and tripole correlations from two soft pairs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000761,"raw_usage":{"total_tokens":3338,"prompt_tokens":861,"completion_tokens":2477,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":477,"completion_tokens_details":{"reasoning_tokens":2404}},"tokens_in":477,"tokens_out":2477,"duration_ms":17628,"temperature":1.0,"reasoning_tokens":2404,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T21:19:37.568949+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"An independent power-counting enumeration of every possible tree-level diagram with two soft quark-antiquark pairs would settle the claim: if any topology outside the four classes of Figure 1 survives at leading soft power, eq. (3.10) is incomplete. A direct numerical evaluation of the leading soft limit for a specific process, say a four-hard-parton amplitude with two extra quark-antiquark pairs, compared diagram by diagram with the current (3.10), would also test the result.","supporting_citations":[],"review_version":1}