{"id":"4eff9cf2-5837-439f-b43f-f76476df3509","arxiv_id":"hep-ph/0107001","paper_version":2,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"A set of four rules, built on a momentum-label operator, generates all gauge-invariant operators in collinear effective theory and reproduces a published two-loop B to D pi factorization result from one-loop ingredients.","lead":"This paper lays out four rules for writing down every allowed operator in a theory of nearly massless particles moving at close to the speed of light, using a bookkeeping operator that tracks large momentum labels. The rules turn an otherwise open-ended matching problem into a finite construction, and the authors use them to re-derive a known two-loop factorization result for B to D pi decays without computing two-loop graphs.","discovery_kind":"unclear","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"The completeness claim after Eq. (13) is asserted rather than proved, and the B→Dπ operator count depends on it; the successful check against Ref. [6] provides indirect support but does not establish the general claim.","rationale":"The paper's central result — the four rules and the B→Dπ check — is correct and was subsequently adopted in the SCET literature. The completeness claim is asserted rather than proved, but the successful check against Ref. [6] provides indirect support: the effective-theory Feynman rules (Eqs. 20-22) follow from the operator structure, and the fact that Eq. (24) reproduces the nontrivial α-dependence of Eq. (193) of Ref. [6] is evidence that the basis is complete at leading order for this process. The soft gluon deferral to Ref. [11] is a real gap but is a scope statement, not a flaw in the central argument. The reader's identification of the completeness claim as the weakest assumption is correct, and the reader's verdict of ACCEPT with the completeness and soft-mode caveats noted is reasonable. I would not change the verdict.","tokens_in":11971,"tokens_out":24676,"duration_ms":433917,"concrete_test":"Construct the complete set of O(λ) operators for the subleading heavy-to-light current using the four rules of Section II, and compare to an independent derivation from matching the full theory at subleading order. If the rules miss an operator that the independent derivation produces (e.g., one involving the collinear field strength G_{μν} or a soft-collinear interaction), the completeness claim fails. Alternatively, recompute Eq. (24) keeping the p⊥ and p′⊥ terms that the paper drops, and check whether they cancel or are higher order; if they contribute at the same order, the match to Eq. (193) of Ref. [6] is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's argument after Eq. (13) establishes that W†ξ, ξ̄W, and (P/⊥+gA/⊥) are gauge invariant/covariant, and that f(P̄+g n̄·A) = W f(P̄) W†. From these, the paper concludes that 'the most general allowed operators must satisfy two more rules' (rules 3 and 4). But this is a necessary condition, not a proof of sufficiency: the paper does not show that every gauge-invariant operator can be written in terms of these building blocks, nor does it address whether operators involving the collinear field strength G_{μν} (order λ, potentially subleading) are generated by the rules. For the B→Dπ process, the claim that 'only one color-singlet operator can be constructed' (Section IV) depends on this completeness. The successful reproduction of Eq. (193) of Ref. [6] from the effective-theory Feynman rules (Eqs. 20-24) provides indirect evidence that the basis is complete at leading order for this process, but the general claim in Section II remains an assertion. Separately, the statement in Section I that 'including soft gluons does not alter any of the results presented' is deferred to Ref. [11], which is an unpublished preprint (hep-ph/0107002), so this scope claim is not independently supported within the paper.","agreement_with_reader":"agree"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"The manuscript develops a formalism for constructing gauge-invariant operators in a collinear effective theory of QCD, in the limit where final-state hadrons carry energy much larger than their mass. Its central technical device is a label operator P̄ that acts on the large light-cone momentum labels of collinear fields, together with a momentum-space Wilson line W defined by the linear equation (P̄ + g n̄·A)W = 0 (Eq. 9). Using these, the authors derive four rules (Section II, and restated in the Conclusion) for building leading and subleading invariant operators, including the statement that Wilson coefficients are functions of P̄ and P̄† and must be inserted between fields. Section III applies the rules to the collinear quark kinetic term (Eq. 14) and to the heavy-to-light current (Eq. 15), and shows how the coefficient of the latter ends up depending on the pion energy 2Eπ through the action of P̄ on the pion state (Eq. 17). Section IV constructs the four-quark operators for B → Dπ (Eq. 19), argues that a single color-singlet operator with coefficient C0(μ, P̄+) contributes, derives the zero- and one-gluon Feynman rules (Eqs. 20 and 22), and shows that the one-loop collinear graphs of Fig. 2 (Eqs. 23–24) reproduce the two-loop hard-collinear result of Ref. [6] (their Eq. 193). The authors further argue that the same expression holds with the short-distance coefficient matched at any order, yielding the convolution of Eq. (27).","tokens_in":12169,"tokens_out":8388,"duration_ms":127929,"significance":"If the construction holds, this is a foundational paper: the label-operator and momentum-space Wilson-line technology introduced here became a standard tool for organizing operators in collinear effective theory, and the four rules give a practical recipe that has been widely used since. The Section IV comparison is a genuine external benchmark rather than a self-consistency check: a two-loop hard-collinear calculation is reproduced from one-loop effective-theory ingredients, which is a nontrivial and falsifiable test of the framework. The explicit Feynman rules of Eqs. (20) and (22) make the formalism directly usable, and the observation that the Wilson coefficient depends on the total label P̄+ rather than on individual parton momenta is a clean conceptual result. The paper is also commendably explicit about what it does and does not cover, restricting the detailed analysis to collinear gluons and deferring soft modes to a companion paper.","major_comments":[{"comment":"The argument following Eq. (13) establishes that W†ξ, ξ̄W, and (P/⊥ + gA/⊥) are gauge covariant, and that f(P̄ + g n̄·A) = W f(P̄) W†. The text then concludes that 'the most general allowed operators must satisfy two more rules' (rules 3 and 4). As stated, rules 3 and 4 are necessary conditions on allowed operators, which is correct, but Section IV subsequently uses them as a sufficiency statement: 'the most general operators which satisfy the rules in section II are' Eq. (19), and 'Only one color singlet operator can be constructed which contributes to this decay.' The manuscript does not give an argument that every gauge-invariant operator can be written in terms of the stated building blocks, nor does it discuss whether operators built from the collinear field strength G_{μν} (order λ, and relevant to the 'subleading' operators advertised in the abstract) are exhausted by the rules. The successful reproduction of Eq. (193) of Ref. [6] from Eqs. (20)–(24) is strong indirect evidence that the basis is complete at leading order for this particular process, but it does not establish the general claim. I would ask the authors to state explicitly that rules 3 and 4 are necessary conditions whose sufficiency is argued constructively, to say a sentence about how field-strength operators are generated within the rules, and to soften or qualify the 'most general' language in Section IV accordingly. This is a framing and rigor issue rather than a demonstrated error, and it can be addressed with a short passage.","section":"Section II (after Eq. 13) and Section IV (Eq. 19)","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"Section I refers to the decays 'B0 → D+π0 and B− → D0π−', whereas the Section IV heading and body use 'B̄0 → D+π− and B− → D0π−'. The two sets are not the same processes, and the Section I version appears to be a typographical slip; the labels should be made consistent throughout.","section":"Section I versus Section IV heading","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The scope statement in Section I that 'including soft gluons does not alter any of the results presented', and the deferral in Section IV of the Q_{i8} discussion and the all-orders factorization argument to Ref. [11], both rest on hep-ph/0107002, which is listed as a preprint rather than a published reference. The authors do acknowledge the restriction to collinear gluons, but a reader cannot verify the soft-gluon claim from the present manuscript; it would help to state the scope limitation more explicitly or to update the citation if the companion has since appeared.","section":"Section I and Section IV, Ref. [11]","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The argument of the logarithm in the term '(3 + 2 ln u¯u) ln z²' is ambiguous in the current typesetting; it should be written unambiguously (for example as ln(u/ū) or ln(ū u), whichever is intended) so that the comparison with Refs. [4,6] can be checked directly.","section":"Eq. (21)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The one-gluon Feynman rule in Eq. (22) is written as '= ig n̄μ Γh ⊗ Γℓ T^A {…}', whereas the zero-gluon rule in Eq. (20) carries an explicit overall factor of i. Please check whether the overall i is missing in Eq. (22) or is absorbed by a convention stated elsewhere.","section":"Eq. (22)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The intermediate step in Eq. (17), in which the matrix element is split into two terms with a relative minus sign before reducing to CΓ(μ, 2Eπ), is difficult to follow as written. One additional line showing how P̄† acting to the left on the pion state and P̄ acting to the right on the heavy-meson state combine would make the derivation transparent.","section":"Eq. (17)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The notation 'iA_abc +' in Eq. (26) is not defined; presumably the '+' denotes the addition of the collinear wavefunction contribution, but this should be stated explicitly so that the relation to Eq. (24) is unambiguous.","section":"Eqs. (24) and (26)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The instruction to 'drop the p⊥ and p′⊥ dependence' when reducing Eq. (23) to Eq. (24) is stated without justification. A brief remark on why these terms do not contribute to the quantity being compared with Ref. [6] would help the reader.","section":"Section IV, below Eq. (23)","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"minor_revision","confidential_remarks":"This is a companion paper to hep-ph/0107002, and the soft-gluon scope claim plus the all-orders factorization argument rest on that preprint. The overlap in novelty between the two should be checked against the journal's policy on companion submissions. Otherwise the manuscript is technically sound and the Section IV benchmark against Ref. [6] is a genuine and valuable cross-check."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"The thing worth your time here is the bookkeeping device, not the B → Dπ example. Bauer and Stewart introduce a label operator P̄ that acts on the large light-cone momenta of collinear fields, and with it they get a momentum-space Wilson line W satisfying a linear transport equation (Eq. 9). That buys them a closed-form gauge-invariant collinear quark kinetic term, Eq. (14), which Ref. [2] could only write as an infinite series — the paper says so itself in Section III, and it is a real improvement. The four rules at the end of Section II are the kind of organizing statement a subfield actually adopts, and Eq. (19), with the Wilson coefficient sandwiched between ξ̄W and W†ξ, is the payoff: it tells you the coefficient depends only on the total label and factors outside collinear loops. I checked the algebra in Eqs. (10) and (12); the unitarity step is used correctly and the covariant-derivative transformation is right. Nothing hand-wavy in the derivations themselves. The Section IV cross-check is a genuine benchmark, not a trivial identity — the α-dependence in Eq. (24) is not inherited for free from Ref. [6]. Where I'd push back is the sentence right after Eq. (13), 'the most general allowed operators must satisfy two more rules.' What is shown is that W†ξ, ξ̄W and the transverse covariant derivative are covariant, and that f(P̄ + g n̄·A) = W f(P̄) W†. That is necessity, not sufficiency. Nobody demonstrates that every invariant can be built from these blocks, and field-strength operators at order λ are not discussed at all. For B → Dπ the 'only one color-singlet operator' claim rests on that gap, though the successful reproduction of Eq. (193) of Ref. [6] is decent indirect evidence that the basis is complete at leading order for this process. Separately, Section I's 'including soft gluons does not alter any of the results presented' points at hep-ph/0107002, which was unpublished at the time; that is a scope limit, not a result. Neither gap is fatal, and the paper is honest that it treats collinear gluons only. This is for anyone building operators in SCET or working on exclusive B decays; the rules save you a lot of guesswork. Send it out. The referee should ask for the completeness argument to be stated as a conjecture rather than a conclusion, and for the soft-gluon sentence to be softened or supported.","headline":"The label-operator machinery and the four construction rules are the real contribution here, and they hold up; the completeness claim after Eq. (13) is asserted rather than proved, and the soft-gluon scope claim leans on an unpublished companion.","tokens_in":12904,"tokens_out":971,"would_cite":true,"duration_ms":13972,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["13.25.Hw","12.38.Bx","12.39.St"],"model":"selfhosted/deepseek-v4.1-flash","headline":"The paper argues that gauge invariance in a theory of nearly light-like quarks and gluons collapses into four bookkeeping rules, and that a single operator built from them reproduces a two-loop factorization result for $B$ decays from one-{","keywords":["collinear effective theory","soft-collinear effective theory","light-cone Wilson line","label operator","gauge-invariant operators","factorization","B meson decays","light-cone wavefunction"],"falsifier":"A concrete test is to exhibit a gauge-invariant operator built from collinear fields that cannot be written as separately invariant blocks with label-operator coefficients between them, or to find a collinear-gluon contribution to $B$ to $D$ plus pion that the single operator of Eq. (19) fails to reproduce when compared against the explicit two-loop result it claims to match.","tokens_in":13218,"feed_emoji":"⚛️","tokens_out":3601,"duration_ms":55269,"temperature":0.7,"pith_summary":"The paper asks how to write down every allowed interaction operator in a theory of quarks and gluons that move nearly at the speed of light in one direction, as the pion's constituents do in $B$ decays. Gauge invariance normally forbids writing an operator with a collinear quark and a soft quark separated in space unless a Wilson line connects them, so the authors want a device that turns that constraint into a mechanical recipe. They introduce an operator $P$ (written with a bar) that reads off the sum of the large momentum labels of the fields in an operator, together with a momentum-space Wilson line $W$ built from the large-component gluon field, and show that gauge invariance reduces to four rules. If those rules are complete, the most general operator, at leading order and at suppressed orders, can be written down by inspection, with short-distance coefficients that are functions of $P$ inserted between invariant blocks. The payoff demonstrated is $B$ to $D$ plus pion: one color-singlet operator with coefficient $C_0( mu, P_+)$ reproduces a two-loop hard-collinear factorization result from one-loop effective-theory graphs, and extends the convolution to the short-distance coefficient at any order.","feed_headline":"Four rules build every operator for fast-moving quarks","feed_subtitle":"A label operator and a momentum-space Wilson line turn gauge invariance into a recipe, then re-derive a two-loop B-decay result.","key_machinery":"Two objects carry the argument. The first is the label operator $P$, which acts on a product of collinear fields to give the sum of their large light-cone momentum labels minus the sum of the labels on conjugate fields, so that large phases can be pulled to the front of any operator and label sums need no longer be written explicitly. The second is the momentum-space Wilson line $W$, defined as a sum over permutations of exponentials of $-g$ times the large gluon component divided by $P$, which satisfies the linear equation $[(P + g n A) W] = 0$. That equation, plus the uniqueness of its solution, is what proves $W$ transforms as $W$ to $U$ transpose times $W$, making the combination of a collinear quark field with $W$ invariant. The identity $f(P + g n A) = W f(P) W^dagger$ then guarantees that gauge-invariant dependence on the large gluon field appears only inside $W$, which is what forces Wilson coefficients to be label-operator functions inserted between separately invariant blocks. The transverse covariant derivative built from the order-$lambda$ transverse momentum operator and the transverse gluon field is the other invariant building block, and it is what the kinetic term of Eq. (14) uses to close the previously open-ended set of collinear quark couplings.","core_discovery":"The central claim is that the collinear gauge symmetry of a theory of fast-moving quarks and gluons is strong enough that operator construction becomes a finite set of rules rather than a case-by-case exercise. The authors state four: label changes of variables are allowed; label momenta are conserved in Feynman rules; only operators invariant under the collinear gauge transformation of their Eq. (7) are allowed; and Wilson coefficients are functions of the label operators $P$ and $P^dagger$ inserted at every location consistent with the third rule. The load-bearing technical step is that a function of the large gluon field plus $P$ can always be rewritten as $W f(P) W^dagger$, so that gauge-invariant dependence on the large gluon component appears only through the Wilson line. Applied to $B$ to $D$ plus pion, the rules leave exactly one color-singlet operator, and expanding its $W$ factors fixes the coefficients of vertices with any number of collinear gluons in terms of the same function $C_0$. Summing the three one-loop collinear graphs built from that operator gives an expression the authors identify with the explicit two-loop hard-collinear result of an earlier calculation, and which holds with the short-distance coefficient matched at any order.","pith_inferences":["The label operator is best read as a device that turns momentum conservation into bookkeeping: it makes the non-commutativity of short-distance coefficients with fields explicit rather than accidental, and the same trick looks portable to other hierarchies where a large momentum is shared among many fields, such as jet or small-transverse-momentum observables.","If the completeness argument holds, counting independent operators for a given exclusive decay becomes a short combinatorial exercise, which would let operator bases for neighbouring channels be enumerated by hand rather than by exhaustive enumeration of Dirac and color structures.","The natural stress point is the treatment of soft gluons: the paper asserts in its introduction that including them alters none of the results and defers the demonstration to a companion paper, so a reader should watch whether soft emissions generate invariant structures that the Wilson line does not capture, since that would break the claimed uniqueness of the single color-singlet operator."],"forward_implications":["Coefficients for vertices with any number of collinear gluons emerging from the four-fermion operator are fixed by the same function $C_0$ through the exponentials in $W$; with tree-level matching those multi-gluon rules vanish identically because $W^dagger W = 1$.","The collinear quark kinetic term acquires a closed gauge-invariant form in which the infinite set of couplings to the large gluon component is resummed into the Wilson lines surrounding the inverse label operator.","In heavy-to-light currents the Wilson coefficient factors outside loops containing only collinear gluons, so the coefficient depends on the total large momentum $2E_pi$ rather than on any individual parton's momentum, which explains how a scale that no single parton carries enters the answer.","The one-loop effective-theory graphs yield the convolution of the short-distance coefficient with the one-loop light-cone pion wavefunction while holding the coefficient matched at arbitrary order, which the authors present as evidence for generalized factorization of $B$ to $D$ plus pion beyond two loops."],"supporting_citations":[{"why":"Supplies the collinear effective theory setup, the power counting of collinear fields, and the free propagator and leading interactions whose closed gauge-invariant form this paper constructs.","marker":"[2]"},{"why":"Supplies the explicit two-loop hard-collinear calculation, Eq. (193), that the one-loop effective-theory expression in Eq. (24) is claimed to reproduce.","marker":"[6]"},{"why":"Source of the generalized factorization proposal for these decays that the effective-theory operator construction is meant to support.","marker":"[4]"},{"why":"The other statement of generalized factorization, in which a four-quark matrix element factorizes into a form factor convolved with a short-distance coefficient and the pion wavefunction.","marker":"[5]"},{"why":"Supplies the Brodsky-Lepage light-cone pion wavefunction that appears in the convolution of Eq. (27).","marker":"[7]"},{"why":"Supplies the LEET Lagrangian that the collinear quark kinetic term of Eq. (14) is said to match once soft gluons are included.","marker":"[9]"},{"why":"Companion paper where soft modes are included and the all-orders factorization argument is completed, which the present paper defers to.","marker":"[11]"}],"fun_headline_variants":["Four rules replace case-by-case collinear operator building","Collinear gauge symmetry turns operator construction into four rules","Label operators carry Wilson coefficients in collinear effective theory","One color-singlet operator survives for B to D plus pion","Four rules reproduce a two-loop B-decay factorization result"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The argument shows that the Wilson line and the transverse covariant derivative are gauge covariant and that gluon dependence can be absorbed into $W$, but it asserts rather than proves that the four rules generate every allowed operator, and it also asserts without demonstration that adding soft gluons changes none of the results.","fun_headline_variants_meta":{"raw":{"variants":["Four rules replace case-by-case collinear operator building","Collinear gauge symmetry turns operator construction into four rules","Label operators carry Wilson coefficients in collinear effective theory","One color-singlet operator survives for B to D plus pion","Four rules reproduce a two-loop B-decay factorization result"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":1694,"prompt_tokens":864,"completion_tokens":830,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":763}},"tokens_in":864,"tokens_out":830,"duration_ms":13646,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":763,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-29T17:48:08.171024+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"A concrete test is to exhibit a gauge-invariant operator built from collinear fields that cannot be written as separately invariant blocks with label-operator coefficients between them, or to find a collinear-gluon contribution to $B$ to $D$ plus pion that the single operator of Eq. (19) fails to reproduce when compared against the explicit two-loop result it claims to match.","supporting_citations":[{"cited_title":"Phys. Rev. D 63, 114020","cited_arxiv_id":null,"evidence_quote":"Supplies the collinear effective theory setup, the power counting of collinear fields, and the free propagator and leading interactions whose closed gauge-invariant form this paper constructs."},{"cited_title":"N ucl. Phys. B591, 313","cited_arxiv_id":null,"evidence_quote":"Supplies the explicit two-loop hard-collinear calculation, Eq. (193), that the one-loop effective-theory expression in Eq. (24) is claimed to reproduce."},{"cited_title":"Phys. Lett. B 257, 399","cited_arxiv_id":null,"evidence_quote":"Source of the generalized factorization proposal for these decays that the effective-theory operator construction is meant to support."},{"cited_title":"P hys. Rev. Lett. 83, 1914","cited_arxiv_id":null,"evidence_quote":"The other statement of generalized factorization, in which a four-quark matrix element factorizes into a form factor convolved with a short-distance coefficient and the pion wavefunction."},{"cited_title":"Phys. Rev. D 22, 2157","cited_arxiv_id":null,"evidence_quote":"Supplies the Brodsky-Lepage light-cone pion wavefunction that appears in the convolution of Eq. (27)."},{"cited_title":"Phys. Lett. B255, 583","cited_arxiv_id":null,"evidence_quote":"Supplies the LEET Lagrangian that the collinear quark kinetic term of Eq. (14) is said to match once soft gluons are included."},{"cited_title":"A proof of factorization for B -> D pi","cited_arxiv_id":"hep-ph/0107002","evidence_quote":"Companion paper where soft modes are included and the all-orders factorization argument is completed, which the present paper defers to."}],"review_version":1}