{"id":"44beab91-0bee-4ed9-bdbf-316023f28d6b","arxiv_id":"2509.05098","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":7,"one_line_summary":"A covariant generalization of the BMT spin-precession equation including Lorentz-violating background fields up to dimension-6 operators, valid in any inertial frame.","lead":"This paper generalizes the Bargmann-Michel-Telegdi equation, the standard description of how a charged particle's spin precesses in a magnetic field, to include hypothetical background fields that might break Lorentz symmetry. The result gives storage-ring experiments (muon g-2, electric dipole moment searches) a general formula for hunting signs of new physics.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Completeness of the covariant term bases in Eqs. (19), (23), (27), and (31) is asserted without proof; a missed independent contraction would make Eq. (35) incomplete.","rationale":"A good-faith reading shows the paper is a clean, conventional extension of BMT to SME backgrounds: the standard BMT limit is recovered, the algebra shown is consistent, and the storage-ring application is plausible. The published venue and the experimental adoption of Refs. [42,43] provide genuine independent support. Still, the most fragile premise is the asserted completeness of the four covariant term bases. The text gives no demonstration that no other independent parity-even contractions satisfying (18) exist. Since the matching condition (17) probes only one component in one geometry, it cannot detect a missing term that is orthogonal to that configuration. The proposed symbolic enumeration test would settle the issue decisively and cheaply; a Foldy-Wouthuysen cross-check would provide additional confirmation. Because the reader's verdict already identifies this same vulnerability and rates the paper CONDITIONAL, this stress-test does not move the verdict; it sharpens the specific check needed before Eq. (35) can be regarded as complete.","tokens_in":11501,"tokens_out":9545,"duration_ms":118778,"concrete_test":"Run an exhaustive symbolic enumeration (e.g., in xAct/xTensor or with a Young-projector script) of all observer-Lorentz covariant rank-1 tensors linear in the spin S, linear in one SME coefficient (b, H, d, g, and their F-coupled variants), and built from U, S, F, η, and ε, respecting the parity and linearity constraints of §3. Then impose the constraints (18) and verify that the numbers of independent surviving structures are exactly 1, 2, 3, and 6 for the b, H, d, and g sectors, and that each surviving structure is a linear combination of the terms in Eqs. (19), (23), (27), and (31). As a cross-check, independently derive the full 3-vector precession frequency by a Foldy-Wouthuysen reduction for a generic boost direction and compare with Eq. (35). If additional independent structures appear, Eq. (35) is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central result Eq. (35) is assembled from four enumeration claims: one independent b-term, two H-terms, three d-terms, and six g-terms. The paper says 'we find' at each point but gives no counting argument, no table of contractions, and no Young-tableau or invariant-theory proof. Because the constants are fixed by matching one storage-ring component, Eq. (17), from Refs. [42,43] of the same research program with overlapping authors, any independent structure that vanishes in that particular geometry is invisible to the calibration. The constraints (18) are necessary but not sufficient to prove the list is complete. For example, U-parallel or additional epsilon-contracted structures involving d_νδ and g_μνρ are not shown to reduce to the displayed terms. If even one leading-order contraction is missing, Eq. (35) is not the full dominant BMT extension in arbitrary frames, although the displayed terms would still be individually correct. The secondary premise that homogeneous Lorentz-violating coefficients produce no correction to dU/dτ, imported from Refs. [55-65], is also load-bearing but is better supported by external literature.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper extends the Bargmann-Michel-Telegdi (BMT) equation for the spin precession of a charged Dirac particle to include Lorentz-violating background fields in the Standard-Model Extension (SME). The treatment covers spin-dependent operators of mass dimension d=3 and 4 in the propagation sector (coefficients b_μ, H_μν, d_μν, g_μνρ) and d=5 and 6 operators involving the electromagnetic field strength (coefficients b_F, H_F, d_F, g_F). The method is to construct observer-covariant terms linear in the spin, the coefficients, and F_μν, impose the constraints (2) through the Lorentz-violating restrictions (18), fix the overall constants by matching the known storage-ring spin-precession frequency (17), and thereby assemble the extended relativistic BMT equation, Eq. (35). The paper then applies this equation to a model storage ring and derives the radial spin-precession frequency, Eq. (38).","tokens_in":11732,"tokens_out":13020,"duration_ms":149456,"significance":"If Eq. (35) is correct and complete, this is a useful and significant result: it provides a ready-to-use relativistic spin-precession equation valid in arbitrary inertial frames for the dominant SME coefficients of dimensions 3 through 6, and it reduces to the standard BMT equation when all Lorentz-violating coefficients vanish. The construction is parameter-free in the sense that no new free parameters are introduced: the constants are fixed by matching the known limit (17). The concrete storage-ring prediction (38) is falsifiable and directly relevant to ongoing and proposed EDM and g-2 searches. However, the central claim of completeness of the enumerated term basis is not proven in the manuscript, and this is the main barrier to accepting the equation as the full leading-order extension.","major_comments":[{"comment":"The central claim that Eq. (35) is the complete leading-order BMT extension rests on four enumeration assertions ('we find', 'examination reveals') with no counting argument, no table of contractions, and no invariant-theory proof. The constraints (18) are necessary but not sufficient; for example, for d_μν and g_μνρ additional epsilon/metric contractions that vanish in the particular storage-ring geometry are not shown to reduce to the displayed basis. Because the constants are calibrated to a single component, Eq. (17), in a single geometry, any independent structure that vanishes in that geometry is invisible to the calibration. Please supply a systematic enumeration—listing all parity-even Lorentz contractions built from U, S, F, the coefficients, η, and ε, then imposing (18) and index symmetries—or an independent Foldy-Wouthuysen derivation, to prove completeness.","section":"Eqs. (19), (23), (27), (31) and assembly of Eq. (35)"},{"comment":"The statement that homogeneous Lorentz-violating coefficients produce no correction to dU/dτ is load-bearing: if dU/dτ had a Lorentz-violating piece, the constraints (2) would mix it with the Lorentz-violating spin terms and alter the term list and the constants in Eq. (35). The manuscript cites Refs. [55-65] rather than proving this for the present charged-particle system coupled to F_μν. Please state the precise theorem from the Finsler/Berwald literature and either prove or explicitly verify its applicability when the particle is charged and an electromagnetic field is present; even a short argument from the wave-packet limit of the Dirac equation would settle this point.","section":"Before Eq. (18)"}],"minor_comments":[{"comment":"The text says 'k_H1 and k_H1 are constants'; the second should be k_H2.","section":"After Eq. (23)"},{"comment":"The matching for k_b says averaging β over the circular motion is required, but for the 3-component of Eq. (21) the β-dependent terms vanish and b'_3 = b3 in the ring geometry. Clarify whether an average is actually being performed or whether the relevant terms simply drop out.","section":"After Eq. (21)"},{"comment":"The paper does not explicitly state why other spin-independent d=3,4 coefficients (such as a_μ and c_μν) are absent from the term base. A sentence explaining that they do not contribute to spin precession at leading order would make the restriction clearer.","section":"Eqs. (12)-(15)"},{"comment":"The claimed equivalence between Eq. (32) and the compact g_μνρ form (33) is not demonstrated. In particular, the cancellation of the trace part g(T) is not shown. If this is intended as an equivalent expression, the cancellation should be stated or referenced explicitly.","section":"Eq. (33)"}],"recommendation":"major_revision","confidential_remarks":"The calibration of the constants to Eq. (17) uses Refs. [42,43] whose author lists overlap with the present paper. This is not by itself an error, but it reinforces the need for an independent completeness check that does not rely on the same enumerations. The requested enumeration or independent derivation could be added as an appendix or supplemental material."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a solid, useful extension of the BMT equation to SME-type Lorentz-violating backgrounds, and Eq. (35) is genuinely new. The main gap is that the enumeration of allowed terms is asserted, not proven, and the calibration anchors are prior results from the same group, so completeness is the fragile point.\n\nWhat's new: the covariant equation (35) covering d=3 through d=6 operators, including field-dependent d=5/6 pieces, in arbitrary inertial frames. The storage-ring application (38)-(39) shows how it feeds into experiments. The paper does what it claims, and it's clearly written. The reduction to standard BMT is clean, and the authors are upfront about the scope (no gravity, no nonconcordant frames, no subleading terms).\n\nI disagree with a hard-line reading that the completeness gap is fatal. The method of enumerating covariant contractions and fixing constants by matching to a known limit is standard in SME work, and the four enumerated bases (1 b-term, 2 H-terms, 3 d-terms, 6 g-terms) look plausible. The constraints (18) kill many candidates, and the final equation passes the BMT limit. But the stress-test note is right: there's no counting argument, no Young-tableau or invariant-theory proof, and the matching to Eq. (17) only constrains combinations that survive in the storage-ring geometry. A missing contraction that vanishes there would be invisible. That's a genuine soft spot, and a short appendix with a systematic count would settle it. It doesn't make the paper wrong, but it means the uniqueness claim in Eq. (35) is not fully established.\n\nThe second load-bearing premise—that homogeneous LV coefficients produce no correction to dU/dτ—is imported from the Finsler/Berwald literature with several references. That's better supported, but still a premise.\n\nThe orbit-averaging in the application is sketched; it checks out. No code or data, but the algebra is explicit enough to reproduce.\n\nBottom line: this is a paper for people doing storage-ring searches for Lorentz and CPT violation and for anyone who wants a frame-independent BMT extension with SME coefficients. It deserves a serious referee, and it got one. If I were the editor, I'd send it out. I'd cite it if I worked in this area.","headline":"A genuinely new covariant BMT extension with SME backgrounds; the completeness of the term enumeration is asserted rather than proven, so Eq. (35) is well-motivated but not rigorously unique.","tokens_in":12332,"tokens_out":2694,"would_cite":true,"duration_ms":29657,"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":"One extended BMT equation now covers spin precession in electromagnetic plus Lorentz-violating backgrounds.","keywords":["spin precession","BMT equation","Lorentz violation","CPT violation","Standard-Model Extension","electric dipole moment","storage ring","Dirac fermion"],"falsifier":"Compute the Dirac Hamiltonian for the SME Lagrangian used here, perform a Foldy-Wouthuysen transformation to extract the spin-operator equation of motion at leading order in the coefficients, and compare term-by-term with Eq. (35); a mismatch would show the enumeration is incomplete. Alternatively, measure the storage-ring radial spin-precession frequency (38) at two different magnetic-field values and check that it grows linearly in B with the predicted coefficient combination ˇH33F.","tokens_in":1640,"feed_emoji":"🌀","tokens_out":2444,"duration_ms":95946,"temperature":0.7,"pith_summary":"The paper sets out to prove that the spin of a charged Dirac particle in a homogeneous electromagnetic field, plus constant Lorentz-violating background fields, precesses according to a single covariant equation, Eq. (35). That equation extends the BMT equation by adding leading-order terms from Lorentz-violating coefficients of mass dimension 3 through 6, including field-dependent combinations for dimensions 5 and 6. The authors establish the result by enumerating independent observer-covariant terms consistent with the spin's orthogonality constraints, fixing the unknown coefficients against a known storage-ring precession frequency, and then promoting b, H, d, g to F-dependent forms via an established field-redefinition protocol. If correct, the equation gives experimenters a model-independent template for searching Lorentz and CPT violation in storage-ring spin-precession experiments, and it reduces to the standard BMT equation when all new coefficients vanish.","feed_headline":"Spin precession law extended to Lorentz-violating fields","feed_subtitle":"Storage-ring experiments can probe new coefficient combinations from the SME.","key_machinery":"The argument is carried by a term-enumeration algorithm. For each coefficient family, the paper constructs all observer-covariant contractions built from the particle 4-velocity Uμ, spin Sμ, field strength Fμν, the Lorentz-violating coefficients, and the metric or Levi-Civita tensor. Each candidate must be linear in S, F, and the coefficients, have even overall parity (so b and d appear with ε), and satisfy the constraints in Eq. (18), which enforce S·dS/dτ=0 and U·dS/dτ=0 under the assumption that homogeneous coefficients leave dUμ/dτ unchanged. The surviving terms carry unknown constants, fixed by matching the storage-ring result (17), and the d=5,6 pieces follow from the replacement in Eq","core_discovery":"The central claim is that Eq. (35) is the complete leading-order relativistic equation for dSμ/dτ for a charged Dirac particle with magnetic and electric dipole moments moving in homogeneous electromagnetic and Lorentz-violating background fields, valid in any inertial frame. It includes the standard BMT terms, then adds contributions proportional to bμ, Hμν, dμν, gμνρ and their dimension-5/6 field-strength-coupled counterparts bF, HF, dF, gF. Each added term is linear in the coefficients, linear in F, and linear in S, and the structure preserves the required velocity-spin orthogonality. The authors fix the overall constants by requiring the laboratory-frame 3-vector form to reproduce the kn","pith_inferences":["Beyond the paper: the same enumeration could be extended to subleading operators with d≥7, where couplings with two powers of F or derivative-dependent coefficients would enter; nothing in the method prevents that extension.","Beyond the paper: because Earth's rotation modulates laboratory-frame coefficients at sidereal frequencies, averaging storage-ring data over days could break degeneracies such as ˇb11F+ˇb22F that remain in the idealized instantaneous measurement.","Beyond the paper: extending Eq. (35) to weakly inhomogeneous fields, e.g. quadrupole focusing fields in storage rings, is a natural testable next step, since field gradients could induce precession terms proportional to ∂F."],"forward_implications":["Storage-ring searches for muon or proton electric dipole moments and g−2 can absorb Lorentz-violating shifts by fitting the coefficient combinations in Eq. (38), such as ˇH03, ˇbF, ˇgF, and ˇHF.","In the e→0 limit, the same equation describes neutral spin-1/2 particles in Lorentz-violating backgrounds, since the new terms are independent of the charge.","Each odd-indexed coefficient is CPT-odd, so measurements of the corresponding precession terms separate CPT violation from CPT-even Lorentz violation.","The storage-ring application shows that some coefficient combinations, e.g. ˇb11F and ˇb22F in the idealized ring, appear only as a sum and cannot be measured independently in that geometry.","When all new coefficients vanish, Eq. (35) reduces to the BMT equation, so the extension is backward-compatible with existing precision tests."],"supporting_citations":[{"why":"The 1959 BMT equation that the paper extends; it supplies the standard spin-precession terms in Eq. (4).","marker":"[1]"},{"why":"Defines the SME coefficients b, H, d, g and the Lagrange densities (12)-(13) whose contributions the paper adds.","marker":"[18]"},{"why":"Supplies the enumeration of free Dirac operators of arbitrary mass dimension, used for the d=3,4 propagation terms.","marker":"[27]"},{"why":"Provides the field-redefinition protocol and the d=5,6 electromagnetic couplings (14)-(15) that generate the F-dependent replacements in Eq. (16).","marker":"[28]"},{"why":"Completes the construction of electromagnetic couplings in the SME, needed to justify the Lagrangian used here.","marker":"[29]"},{"why":"Gives the storage-ring spin-precession frequency (17) used to fix the unknown constants in the enumerated terms.","marker":"[42, 43]"},{"why":"Supplies the irreducible decomposition of gμνρ into axial, trace, and mixed-symmetry pieces used to build the six g-type terms.","marker":"[50, 51]"},{"why":"Establishes that homogeneous perturbative Lorentz-violating coefficients conserve the 4-velocity, so dUμ/dτ receives no LV correction.","marker":"[55]"},{"why":"Supports the Berwald-space result that homogeneous coefficients leave geodesics conventional, the reason constraints (18) involve only the LV part of dSμ/dτ.","marker":"[58-65]"}],"fun_headline_variants":["Spin precession law extended to Lorentz violation","Storage-ring spin precession gets SME upgrade","Relativistic spin precession extended to exotic fields","Complete BMT equation for Lorentz-violating backgrounds"],"cache_read_input_tokens":13952,"weakest_assumption_plain":"The derivation stands on two linked premises: that the enumerated list of independent covariant terms is complete for each coefficient at leading order, and that homogeneous Lorentz-violating coefficients leave the particle's 4-acceleration unchanged; if either fails, Eq. (35) misses corrections of the same order.","fun_headline_variants_meta":{"raw":{"variants":["Spin precession law extended to Lorentz violation","Storage-ring spin precession gets SME upgrade","Relativistic spin precession extended to exotic fields","Complete BMT equation for Lorentz-violating backgrounds"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000746,"raw_usage":{"total_tokens":3086,"prompt_tokens":591,"completion_tokens":2495,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":335,"completion_tokens_details":{"reasoning_tokens":2437}},"tokens_in":335,"tokens_out":2495,"duration_ms":17969,"temperature":1.0,"reasoning_tokens":2437,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T05:37:39.222695+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the Dirac Hamiltonian for the SME Lagrangian used here, perform a Foldy-Wouthuysen transformation to extract the spin-operator equation of motion at leading order in the coefficients, and compare term-by-term with Eq. (35); a mismatch would show the enumeration is incomplete. Alternatively, measure the storage-ring radial spin-precession frequency (38) at two different magnetic-field values and check that it grows linearly in B with the predicted coefficient combination ˇH33F.","supporting_citations":[{"cited_title":"Bargmann, L","cited_arxiv_id":null,"evidence_quote":"The 1959 BMT equation that the paper extends; it supplies the standard spin-precession terms in Eq. (4)."},{"cited_title":"Colladay and V .A","cited_arxiv_id":null,"evidence_quote":"Defines the SME coefficients b, H, d, g and the Lagrange densities (12)-(13) whose contributions the paper adds."},{"cited_title":"Kostelecký and M","cited_arxiv_id":null,"evidence_quote":"Supplies the enumeration of free Dirac operators of arbitrary mass dimension, used for the d=3,4 propagation terms."},{"cited_title":"Ding and V .A","cited_arxiv_id":null,"evidence_quote":"Provides the field-redefinition protocol and the d=5,6 electromagnetic couplings (14)-(15) that generate the F-dependent replacements in Eq. (16)."},{"cited_title":"Kostelecký and Z","cited_arxiv_id":null,"evidence_quote":"Completes the construction of electromagnetic couplings in the SME, needed to justify the Lagrangian used here."},{"cited_title":"Kostelecký and N","cited_arxiv_id":null,"evidence_quote":"Establishes that homogeneous perturbative Lorentz-violating coefficients conserve the 4-velocity, so dUμ/dτ receives no LV correction."}],"review_version":1}