{"id":"b4a6e301-05b9-47fe-b2c7-b66de80f761a","arxiv_id":"hep-ph/9205228","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":7.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Reparameterisation invariance of the heavy-quark velocity and residual momentum fixes the coefficient of the -D^2/2m operator to one, forbids its renormalisation, and constrains which operators can appear in heavy-particle chiral lagrangians.","lead":"Heavy-quark effective theory labels a particle by both a velocity and a residual momentum, so the same physical momentum has many descriptions. The authors show that this redundancy is not bookkeeping: it forces exact relations between coefficients at different orders in the 1/m expansion and protects the kinetic operator from renormalisation.","discovery_kind":"unification","skeptic_critique":{"model":"selfhosted/deepseek-v4.1-flash","headline":"The coefficient-fixing derivation (Eq. 2.8, A=1) is sound, but the abstract's unconditional non-renormalisation claim [abstract:s2] is only established in a reparameterisation-invariant scheme, a condition the body states in Sec. 4 but the abstract omits.","rationale":"The paper is a classic and correct. The derivation is elementary and explicit: Eq. (2.8) gives δL ∝ (A-1) q·D/m, forcing A=1. The spin extension is careful about Thomas precession, and the applications to currents and chiral lagrangians follow. The reader's weakest_assumption is exactly the right one: the non-renormalisation conclusion rests on a reparameterisation-invariant regulator, which the authors state in Sec. 4. The only refinement is that the abstract overstates the result relative to the body's conditional statement. This is a presentational issue, not a physics error. The one-loop agreement [11] supports the result in dim reg. No free parameters, no circularity. Verdict ACCEPT stands.","tokens_in":9689,"tokens_out":11355,"duration_ms":195514,"concrete_test":"Compute the matching coefficient of -D^2/2m at one loop in a hard-cutoff scheme on the residual momentum (Λ_cut on k) and compare to the dim-reg result. If the coefficient deviates from 1 by a finite amount that does not vanish as Λ_cut → ∞, the abstract's unconditional claim is false and the result is scheme-dependent. If it vanishes, the invariance is robust.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central derivation is correct and explicit: expanding the reparameterised lagrangian to first order in the shift q gives δL ∝ (A-1) q·D/m (Eq. 2.8), forcing A=1. The extension to spin-1 and spin-1/2 fields correctly identifies the Thomas-precession subtlety that rules out the naive transformation Eq. (3.8). The one soft spot is the step from 'A=1 in an invariant regulator' to the abstract's unconditional 'zero anomalous dimension... does not receive any non-perturbative contributions from matching conditions' [abstract:s2]. Sec. 4 qualifies this: 'This cannot be true if the effective theory is regulated to preserve reparameterisation invariance.' The paper does not construct such a regulator or show that the matching calculation (full QCD → HQET) preserves the invariance. In a cutoff scheme on residual momentum, the coefficient could run. So the abstract's claim is scheme-dependent. This is acknowledged in the body but not in the abstract, and the paper does not resolve whether a fully invariant regulator exists for non-perturbative matching. The reader identified this same premise, so the concern is not new; what remains unresolved is the explicit construction of the invariant regulator and the demonstration that the matching respects it.","agreement_with_reader":"agree"},"referee_report":{"model":"selfhosted/deepseek-v4.1-flash","summary":"The manuscript argues that the redundancy in the heavy-particle effective theory — the freedom to shift the velocity v by q/m while shifting the residual momentum k by −q, keeping p = mv + k fixed (Eq. 1.1) — is not merely a bookkeeping triviality but constrains the 1/m expansion. For a coloured scalar, writing the most general lagrangian to order 1/m as Eq. (2.5) with an undetermined coefficient A, the field transformation of Eq. (2.4) produces a variation proportional to (A−1) q·D/m (Eq. 2.8), forcing A = 1 exactly rather than only at tree level. The authors then show that the most general invariant lagrangian can depend on v and D only through the combination V^μ = v^μ + iD^μ/m (Eq. 2.11), and extend the analysis to spin-1 and spin-1/2 fields, where the correct transformation law involves the boost Λ(p/m, v) rather than the naive Λ(w, v) (Eqs. 3.7–3.8), the difference being a Thomas-precession term. Applications in Sec. 4 include the fixed coefficient and vanishing anomalous dimension of −D²/2m, the reparameterisation-invariant completion of the chromomagnetic operator at order 1/m² (Eq. 4.3), the corresponding completion of a heavy-to-heavy weak current (Eq. 4.4), and the exclusion of operators such as T_v iD_μ B^{μ}_v from heavy-particle chiral lagrangians. Section 5 discusses the (essentially trivial) consequences for form factors of external states.","tokens_in":9980,"tokens_out":6458,"duration_ms":88693,"significance":"If correct — and the derivation is short enough to check line by line — this is a high-value contribution. The result is parameter-free: no coefficient is fitted, and the constraint A = 1 follows from the invariance requirement alone. It makes a falsifiable prediction, namely that the −D²/2m operator has zero anomalous dimension, which the authors note agrees with the independent one-loop computation of Ref. [11]; that agreement is a genuine external check rather than a restatement. The chiral-lagrangian application is practically important because it removes operators (e.g. Eq. 4.5) that would otherwise be carried as free low-energy constants in heavy-baryon chiral perturbation theory, and the current relation Eq. (4.4) extends the known one-loop matching identities of Refs. [13] and [14] to all orders in 1/m. The paper is compact, the logic is explicit, and the operator-ordering ambiguity at order 1/m³ is identified and resolved by the observation that different orderings differ by field redefinitions.","major_comments":[{"comment":"The abstract states without qualification that −D²/2m 'has zero anomalous dimension, coefficient one, and does not receive any non-perturbative contributions from matching conditions' [abstract:s2], whereas Sec. 4 states that the suggested non-perturbative corrections 'cannot be true if the effective theory is regulated to preserve reparameterisation invariance.' The body's version is the correct one: the non-renormalisation statement is conditional on a regulator and renormalisation scheme that respect the invariance, and the paper neither constructs such a regulator nor demonstrates that the full-theory-to-HQET matching preserves it. The perturbative part of the claim is safe, since the one-loop check of Ref. [11] is performed in dimensional regularisation, but the non-perturbative matching statement as phrased in the abstract is stronger than what Sec. 4 establishes. I recommend that the abstract carry the scheme qualification, and that Sec. 4 add one or two sentences identifying which regulators are known to preserve the invariance and what would go wrong (e.g. a hard cutoff on residual momentum) in one that does not.","section":"Abstract vs. Sec. 4","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The abstract also claims that the invariance 'requires linear combinations of these operators to be multiplicatively renormalised' [abstract:s1]. In the body this is supported by two worked examples — the kinetic operator of Eq. (4.1) and the current of Eq. (4.4) — rather than by a general argument. Since the statement is advertised as a general consequence, a short paragraph in Sec. 4 making the general case explicitly (that only reparameterisation-invariant combinations can appear in the lagrangian, hence only those combinations can be multiplicatively renormalised, with the invariant building blocks being those of Eqs. 3.25) would make the abstract claim follow from the text rather than from the examples. This is a matter of making an already plausible argument explicit, not a challenge to its correctness.","section":"Abstract and Sec. 4","authors_acknowledge":null,"authors_acknowledge_p":null}],"minor_comments":[{"comment":"The intermediate expression in Eq. (2.8) reads −i q·D/m + iA q·D/m, which equals i(A−1) q·D/m, while the following line is printed as (A−1) φ*_v q·D/m φ_v without the factor of i. The conclusion A = 1 is unaffected, but the displayed algebra should be checked and the factor restored or the convention stated.","section":"Eq. (2.8)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The text eliminates a term of the form φ*_v (v·D)² φ_v using the lowest-order equation of motion. One sentence noting that the coefficient of an equation-of-motion-vanishing operator is unphysical because it can be removed by a field redefinition, and that such redefinitions preserve the invariance order by order, would close an otherwise implicit step in the argument.","section":"Eq. (2.5)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The relation Ψ̄_v γ5 Ψ_v = 0 is listed without explanation. A brief parenthetical — that γ5 commutes with the boost Λ̃ and that ψ̄_v γ5 ψ_v vanishes by the projector — would save the reader a check.","section":"Eq. (3.25)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The operator-ordering ambiguity in Λ(V̂, v) is correctly identified as harmless at order 1/m³, but the text does not say which ordering is used when writing the explicit results of Eqs. (3.14) and (3.24). Stating the choice once would make those equations reproducible.","section":"Eqs. (3.12)–(3.14) and (3.24)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The statement that C = 1 at tree level would be more useful with an explicit remark that C is not protected by reparameterisation invariance and therefore runs, together with a pointer to the known anomalous dimension.","section":"Eq. (4.2)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"The reduction from three form factors to two is asserted rather than shown. Giving the explicit relation between (f1, f2, f3) and the conventional (f+, f−) decomposition would make the section self-contained and would illustrate concretely the 'redundant variables give redundant form factors' point.","section":"Eqs. (5.1)–(5.3)","authors_acknowledge":null,"authors_acknowledge_p":null},{"comment":"Several of the works used for direct comparison, notably Refs. [12], [13] and [16]–[20], are cited as preprints. Where published versions now exist, they should be cited in place of, or in addition to, the preprint numbers.","section":"References","authors_acknowledge":null,"authors_acknowledge_p":null}],"recommendation":"minor_revision","confidential_remarks":"This is a concise, correct, and likely influential paper; the central derivation is short enough to verify by hand and the one-loop agreement with Ref. [11] is an independent check. My recommendation of minor revision reflects only the mismatch between the abstract's unconditional non-renormalisation statement and the scheme qualification stated in Sec. 4, plus the request that the general multiplicative-renormalisation claim be argued rather than illustrated. Both are addressable in a few sentences and neither affects the coefficient-fixing result."},"author_rebuttal":null,"desk_editor":{"model":"selfhosted/deepseek-v4.1-flash","letter":"Short version: the derivation is right, and the result is one of the load-bearing structural facts of heavy-quark effective theory. Read it for the argument, not for anything surprising — the symmetry was known, the constraining power was not, and the authors say so themselves in the introduction when they cite Dugan-Golden-Grinstein [8]. What is new is the systematic exploitation: write the lagrangian in terms of V^mu = v^mu + iD^mu/m and the constraints fall out almost for free. Eq. (2.8) is a two-line expansion and the (A-1) coefficient is exactly what you would want it to be. The spin-1 and spin-1/2 sections are the real work: they catch the Thomas-precession subtlety that kills the naive transformation Eq. (3.8), and they are honest about the operator-ordering ambiguity at order 1/m^3 and resolve it by field redefinition rather than hiding it. The current result Eq. (4.4) and the chiral pruning example are useful and correct as far as they go. The one soft spot is the one the stress-test names, and it is small. The abstract says the -D^2/2m operator 'does not receive any non-perturbative contributions from matching conditions' with no qualification; Sec. 4 says the opposite of an unconditional claim — 'This cannot be true if the effective theory is regulated to preserve reparameterisation invariance.' That is the right statement, and the authors make it. What the paper does not do is construct such a regulator or show that the QCD-to-HQET matching respects it. That is a real gap, but it is a gap in a 1992 letter-format paper that is doing something else, and the dimensional-regularisation-plus-velocity-prescription answer is standard enough that I would not hold it against them. Two smaller things: 'severely restricts' the chiral lagrangian is supported by exactly one operator example (Tv iD·Bv), and Sec. 5 is thin — the authors call it trivial themselves, and they are right. Neither is a flaw worth a report. Who should read it: anyone setting up a heavy-particle EFT, and especially anyone doing heavy-baryon chiral perturbation theory, where the V^mu bookkeeping saves real work. It deserves a serious referee and it got the right verdict. Cite it.","headline":"The A=1 derivation is correct and durable; the only soft spot is that the abstract's non-renormalisation claim is stated unconditionally while the body correctly conditions it on an invariant regulator.","tokens_in":10582,"tokens_out":1115,"would_cite":true,"duration_ms":16108,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"pith_extraction":{"msc":[],"pacs":["12.39.Hg","12.39.Fe","11.10.Gh"],"model":"selfhosted/deepseek-v4.1-flash","headline":"A trivial-looking redundancy in how heavy-particle fields are labelled turns out to fix the coefficients of the $1/m$ expansion, and to forbid certain operators outright.","keywords":["heavy quark effective theory","reparameterisation invariance","inverse mass expansion","anomalous dimension","non-renormalisation theorem","chiral perturbation theory","heavy particle effective field theory","matching conditions"],"falsifier":"A calculation of the anomalous dimension of the $(iD)^2/2m$ operator in a scheme that manifestly preserves the velocity shift, or a lattice determination of a non-perturbative matching correction to its coefficient, would settle the claim; a nonzero result in such a scheme would break it.","tokens_in":11054,"feed_emoji":"⚛️","tokens_out":2441,"duration_ms":20344,"temperature":0.7,"pith_summary":"In a heavy-particle effective field theory a field is labelled twice over: by a velocity $v$ and by a residual momentum $k$, with the physical momentum being $p = mv + k$. The same physical momentum can be described by a shifted velocity and a compensatingly shifted residual momentum, so the theory contains a redundancy that looks like a mere bookkeeping artefact. The paper shows this redundancy is not inert. Demanding that the effective lagrangian be unchanged under the shift forces relations between coefficients of terms at different orders in $1/m$, and forces particular combinations of operators to renormalise multiplicatively. The sharpest consequence is that the operator $-D^2/2m$ must enter with coefficient exactly one, must have zero anomalous dimension, and cannot pick up non-perturbative corrections from matching. The same argument is then used to prune the operator list of a chiral lagrangian for heavy matter fields.","feed_headline":"Velocity redundancy pins the 1/m terms of heavy-quark theory","feed_subtitle":"Shifting a heavy particle's velocity into its residual momentum turns out to fix coefficients exactly, not just at tree level.","key_machinery":"The load-bearing object is the reparameterisation-covariant velocity $V^mu = v^mu + iD^mu/m$, which is just the total momentum in units of the mass and is the only velocity-like quantity defined without ambiguity at order $1/m$. The rule the paper extracts is that $v$ and $D$ may appear in the lagrangian only through $V$, and that heavy fields must be dressed by the boost $Lambda(p/m, v)$ (or its spinor counterpart) so that they transform by a pure phase under the shift. This dressing is what converts the naive transformation law, which fails at order $1/m^2$, into one that can be satisfied order by order. The boost matrices themselves are computed in an appendix, with the boost parameter fixed by $sinh(lambda theta) = lambda$ and $lambda^2 = (w dot v)^2 - 1$.","core_discovery":"The paper's claim is that reparameterisation invariance — the freedom to write $(v,k)$ as $(v + q/m, k - q)$ with $(v+q/m)^2 = 1$ — is a genuine constraint on the effective lagrangian rather than a harmless ambiguity. Writing the most general scalar lagrangian to order $1/m$ as $v$-dependent kinetic term minus $(A/2m)D^2$, the authors transform the fields and expand to first order in $q$; the change in the lagrangian is proportional to $(A-1)$, so invariance holds only for $A = 1$. The argument is then generalised: the only ambiguity-free building blocks are the combination $V^mu = v^mu + iD^mu/m$ together with fields dressed by the Lorentz boost that carries $v$ to $p/m$, so the most general invariant lagrangian is a function of those alone. For spin-1 and spinor fields the authors work out the required boost transformation explicitly, noting that the naive transformation differs from the correct one by a Thomas-precession term at order $1/m^2$ that no order-$1/m^2$ operator can cancel. The consequences drawn are that the kinetic operator's coefficient is exact, that the spin-dependent magnetic operator's coefficient is not protected and so is still renormalised, that the $1/m$ corrections to heavy-to-heavy currents are tied to the leading current, and that operators such as $T_v iD_mu B^{mu}_v$ cannot appear in a heavy-matter chiral lagrangian because their variation cannot be cancelled at any order.","pith_inferences":["The constraint is a symmetry statement, so it should survive any deformation of the theory that preserves the shift — including the inclusion of explicit heavy-particle mass differences in a manner consistent with the same field redefinition.","If the argument holds, the number of independent low-energy constants in heavy-matter chiral perturbation theory is smaller than a naive operator census would suggest; a systematic enumeration using the $V^\\mu$ rule would be a natural follow-up.","The same bookkeeping redundancy appears whenever an effective theory splits a momentum into a large fixed piece and a small fluctuation, so the constraint plausibly recurs in non-relativistic effective theories beyond the heavy-quark setting.","The claim that the anomalous dimension vanishes is scheme-dependent in practice; a lattice or cutoff-based treatment that does not preserve the shift would be the natural place to look for an apparent violation."],"forward_implications":["The coefficient of the $(iD)^2/2m$ operator in the heavy-particle lagrangian is fixed at one and its anomalous dimension vanishes, so it receives no radiative or non-perturbative matching correction.","The spin-dependent operator $gC/(2m) \\, \\bar\\psi_v \\sigma_{\\alpha\\beta} F^{\\alpha\\beta} \\psi_v$ is not tied to the kinetic term, so its coefficient $C$ remains unprotected and is still renormalised; its reparameterisation-invariant extension to order $1/m^2$ is written down explicitly.","The $1/m$ corrections to a heavy-to-heavy weak current are determined by the leading current's Dirac structure, extending to all orders a matching result previously found at order $\\alpha_s$.","Operators such as $T_v iD_\\mu B^{\\mu}_v$ are excluded from chiral lagrangians for heavy matter fields, cutting the number of free coefficients in such expansions.","In matrix elements, the extra form factors allowed by labelling states with both velocity and residual momentum are redundant and reduce to the usual $f_+$ and $f_-$ decomposition."],"supporting_citations":[{"why":"Supplies the velocity-dependent field formulation of the heavy-particle effective theory on which the whole construction is built.","marker":"[6]"},{"why":"Earlier work that recognised the velocity and residual-momentum reparameterisation freedom, which this paper turns into a constraint.","marker":"[8]"},{"why":"Provides the coloured scalar model used as the simplest worked example of the invariance argument.","marker":"[9]"},{"why":"Source for the heavy vector field and its velocity-dependent constraint $v_μ A^μ_v = 0$ used in the spin-1 section.","marker":"[10]"},{"why":"One-loop computation of the anomalous dimension that the paper's non-renormalisation argument is checked against.","marker":"[11]"},{"why":"The suggestion of non-perturbative corrections to the $D^2/m$ matching condition that the paper argues against.","marker":"[12]"},{"why":"Order-$α_s$ matching result showing identical coefficients for the leading current and its $1/m$ correction, which the paper extends to all orders.","marker":"[13]"},{"why":"Earlier finding that the leading current and its derivative-dressed partner share an anomalous dimension, corroborating the current analysis.","marker":"[14]"},{"why":"Chiral-lagrangian operator analysis whose exclusion of $T_v iD_μ B^μ_v$ this paper derives from reparameterisation invariance.","marker":"[20]"}],"fun_headline_variants":["Velocity redundancy fixes the heavy-quark 1/m coefficients exactly","Reparameterisation invariance pins heavy-particle effective operators","The heavy-quark kinetic term has an exact coefficient at order 1/m","Velocity shifts restrict heavy-matter chiral lagrangians","The magnetic operator stays renormalised in heavy-quark theory"],"cache_read_input_tokens":0,"weakest_assumption_plain":"The exactness of the non-renormalisation result rests on the effective theory being regulated in a way that respects the velocity shift, so a scheme that breaks the symmetry, such as a hard cutoff on residual momentum, is not covered by the argument.","fun_headline_variants_meta":{"raw":{"variants":["Velocity redundancy fixes the heavy-quark 1/m coefficients exactly","Reparameterisation invariance pins heavy-particle effective operators","The heavy-quark kinetic term has an exact coefficient at order 1/m","Velocity shifts restrict heavy-matter chiral lagrangians","The magnetic operator stays renormalised in heavy-quark theory"]},"model":"selfhosted/deepseek-v4.1-flash","effort":"low","attempts":1,"cost_usd":0.0,"raw_usage":{"total_tokens":1896,"prompt_tokens":992,"completion_tokens":904,"prompt_tokens_details":null,"completion_tokens_details":{"reasoning_tokens":832}},"tokens_in":992,"tokens_out":904,"duration_ms":7700,"image_pages":[],"temperature":1.0,"reasoning_budget":50,"reasoning_tokens":832,"transport_provider":"selfhosted","cache_read_input_tokens":0,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-10-29T19:52:27.733410+00:00","model_set":{"reader":"selfhosted/deepseek-v4.1-flash"},"falsifier":"A calculation of the anomalous dimension of the $(iD)^2/2m$ operator in a scheme that manifestly preserves the velocity shift, or a lattice determination of a non-perturbative matching correction to its coefficient, would settle the claim; a nonzero result in such a scheme would break it.","supporting_citations":[{"cited_title":"Georgi, Phys","cited_arxiv_id":null,"evidence_quote":"Supplies the velocity-dependent field formulation of the heavy-particle effective theory on which the whole construction is built."},{"cited_title":"HUTP-91/A045, BU HEP-91-18, SSCL- Preprint-12","cited_arxiv_id":null,"evidence_quote":"Earlier work that recognised the velocity and residual-momentum reparameterisation freedom, which this paper turns into a constraint."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the coloured scalar model used as the simplest worked example of the invariance argument."},{"cited_title":"Carone, Phys","cited_arxiv_id":null,"evidence_quote":"Source for the heavy vector field and its velocity-dependent constraint $v_μ A^μ_v = 0$ used in the spin-1 section."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"One-loop computation of the anomalous dimension that the paper's non-renormalisation argument is checked against."},{"cited_title":"SHEP 90/91 -32, ROME Prep. 812","cited_arxiv_id":null,"evidence_quote":"The suggestion of non-perturbative corrections to the $D^2/m$ matching condition that the paper argues against."},{"cited_title":"SSCL-Preprint-111, HUTP-92/A 012","cited_arxiv_id":null,"evidence_quote":"Order-$α_s$ matching result showing identical coefficients for the leading current and its $1/m$ correction, which the paper extends to all orders."},{"cited_title":"Luke, Phys","cited_arxiv_id":null,"evidence_quote":"Earlier finding that the leading current and its derivative-dressed partner share an anomalous dimension, corroborating the current analysis."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Chiral-lagrangian operator analysis whose exclusion of $T_v iD_μ B^μ_v$ this paper derives from reparameterisation invariance."}],"review_version":1}