{"id":"8633cda3-ed70-44da-805e-aabae4db5615","arxiv_id":"1908.06501","paper_version":2,"verdict":"REJECT","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"The author derives Papapetrou-like spinning equations for Rosen, Moffat, BIMOND, bigravity, and Verozub bimetric gravity, but the derivations are circular and contain index inconsistencies.","lead":"This paper derives equations for spinning particles and their deviations in five bi-metric theories of gravity, using a variational method. The equations are formal analogs of the Papapetrou equations, but the derivations contain index errors and the Lagrangians are built to produce the desired results.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Bimetric deviation equations are not derived: Eqs. (20), (25), and (26) apply Riemannian commutation relations (11)-(14) to non-Riemannian connections without proof, so the paper's central claim is unsupported.","rationale":"The reader's verdict is REJECT with moderate confidence, and the weakest spot identified is the use of commutation relations (11)-(14) for non-Riemannian connections. I find that concern lands and it generalizes: it is not only Rosen's flat connection but every derivative operator (grad, |, bar-D, and the BIMOND/bigravity connections) in Sections 3-8 that is assumed to obey Riemannian commutation laws without proof. Because the construction of every deviation equation, and especially the advertised new |_rho terms, depends on that assumption, the central claim is unsupported. An independent check of the commutator for the Section 3 operator would settle the point. I therefore do not move the verdict: it remains REJECT. I mark partial agreement with the reader because I broaden the concern and additionally note that Eq. (18) already has an index mismatch that makes the equations ill-defined as written.","tokens_in":12817,"tokens_out":8230,"duration_ms":89277,"concrete_test":"Take the Section 3 operator grad_rho with Delta = Gamma - GammaHat and compute [grad_rho, grad_sigma]A^mu directly on a simple Rosen background, then compare the result with Eq. (11). If the commutator is not R^mu_beta,rho,sigma A^beta, or if commuting Eq. (18) does not reproduce Eq. (20) with the stated indices and with D^2 Psi^alpha / DS^2 on the left, the central derivation fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper's central claim has a single indispensable hinge: converting each spinning equation into a deviation equation by 'applying the commutation relations (11), (12), (13), (14).' Those identities are Riemannian identities for the semicolon derivative: A^mu;nu,rho - A^mu;rho,nu = R^mu_beta,nu,rho A^beta. But in Rosen's theory the operator grad is built from Delta^mu_nu,rho = Gamma^mu_nu,rho - GammaHat^mu_nu,rho; the flat derivative |_rho is a different operation; and the BIMOND, Moffat, and bimetric-invariant sections use bar-D and further distinct connections. No proof is given that any of these operators satisfies (11)-(14). The commutator of two grad derivatives will generically contain extra terms involving derivatives of Delta and commutator pieces, so the |_rho terms in (25) and (26), which are advertised as the new physical effect, have no derivation. The same pattern appears in (33)-(39), (44)-(50), (58)-(61), (67)-(70), and (101)-(107). This is not a presentation issue: if the commutation step is invalid, every claimed deviation equation in the paper is an assumption, not a consequence. The index inconsistency in Eq. (18) (left side free at mu, right side free at alpha with mu contracted) reinforces that the equations are not yet well-defined.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript proposes to derive Papapetrou-type spinning equations of motion and their corresponding deviation equations for five families of bimetric gravity theories: Rosen's bimetric theory, Moffat's variable-speed-of-light theory, BIMOND, Hassan-Rosen-type bi-gravity, and Verozub's geodesic-invariant gravity. For each theory a Bazanski-type Lagrangian is written down, variation with respect to the deviation variables is asserted to give a spinning equation, and a set of commutation relations (Eqs. (11)-(14)) is then applied to convert the spinning equation into a deviation equation. The paper contains no numerical results and no comparison with observations; its intended contribution is a formal framework for spinning test bodies in bimetric theories.","tokens_in":13175,"tokens_out":13218,"duration_ms":123532,"significance":"If the derivations were correct, the paper would provide a unified formalism for spinning test bodies in several bimetric theories and would identify a new contribution from the flat-space or second covariant derivative in the deviation equations. The breadth of coverage, with five distinct bimetric constructions and explicit Lagrangians for each, is a strength, and the author is clear about which curvature is intended in each case. However, the central mathematical step, the commutation of covariant derivatives, is not justified for any of the non-Riemannian derivatives used, and the displayed equations contain index errors that prevent verification. As a result, the claimed results are not currently established, and the formal framework cannot be used as a reliable foundation for further work.","major_comments":[{"comment":"The deviation equations are obtained by 'applying the commutation relations (11), (12), (13), and (14)' to the spinning equations. Those identities are the standard Riemannian commutation formulas for the Levi-Civita connection, and the paper gives no proof that any of the operators to which they are applied, namely the nabla operator defined with Delta^mu_{nu rho} = Gamma^mu_{nu rho} - hat-Gamma^mu_{nu rho} in Rosen's theory, the hat-D operator in Moffat's theory, the bar-D operator in the BIMOND and Verozub sections, and the flat derivative |, satisfies the same identities. For a general affine connection the commutator of two covariant derivatives contains torsion and connection-difference terms, and for the directional derivative built from the tensor Delta the Riemannian formula does not apply at all. In addition, the auxiliary conditions (13) and (14), which relate derivatives of the deviation vector to derivatives of the tangent vector, are not automatic for these modified operators. Since every deviation equation in the paper, and in particular the |_rho terms in Eqs. (25) and (26) that are presented as a new physical effect, depends on this step, the central derivation is incomplete. A proof of the commutation relations for each connection, or an alternative derivation of the deviation equations, is required before the results can be accepted.","section":"Section 3, Eqs. (11)-(14), (20), (25), (26)"},{"comment":"Several displayed equations are not well-formed, which makes the derivation impossible to check. In Eq. (18), the left-hand side is nabla U^mu / nabla S with one free upper index mu, while the right-hand side is (1/2m) R^alpha_{.mu nu rho} S^nu U^mu; the index rho is left uncontracted and the free index alpha is not matched to the left-hand side. In Eq. (23), the right-hand side R^alpha_{.mu nu rho} S^{rho nu} U^mu U^nu has a free upper alpha that does not appear on the left, and the left-hand free index mu is contracted on the right, so the factor U^nu is an extra vector. These are not merely typographical problems: with this index structure the equations are ambiguous, and the Euler-Lagrange steps of Section 3 cannot be verified. The same index inconsistencies reappear in the hatted and barred equations of later sections.","section":"Section 3, Eqs. (18) and (23)"},{"comment":"The text repeatedly says that the equations are obtained by 'taking the variation' of the displayed Lagrangians, but the Euler-Lagrange computation is never shown. This is a substantive omission because the Lagrangians already contain the Papapetrou-type force term, for example the term (1/2m) R_{alpha beta gamma sigma} U^alpha Psi^beta S^{gamma sigma} in Eq. (17); varying with respect to Psi^beta therefore returns the very force term that was put into the Lagrangian. The paper should state explicitly that this is the Bazanski variational ansatz and should justify the presence of the force term independently; otherwise the claim that the spinning equations have been 'derived' overstates what the calculation establishes. The same concern applies to the Lagrangians in Sections 4-8, where no intermediate variation steps are provided.","section":"Section 3, Eqs. (17), (18), (22), (23)"},{"comment":"In the generalized two-metric case, the distinction between case (i) and case (ii) is not realized in the displayed equations: Eqs. (63)-(66) repeat Eqs. (54)-(57) even though the momentum in case (ii) is supposed to include the spin term U^nu DS^{mu nu}/DS, and Eq. (70) mixes the two sectors by using R, U, Psi, P, and a semicolon derivative where the twin sector should use S, V, Phi, bar-P, and a | derivative, if the advertised symmetry between the two sectors is to hold. As written, the two cases in Section 6 are either redundant or inconsistent, and the generalized equations do not support the conclusion that two independent sets of spinning equations and their deviations have been obtained from one Lagrangian.","section":"Section 6, Eqs. (62)-(70)"}],"minor_comments":[{"comment":"The term S^{mu nu} hat-D Psi_{nu nu} / hat-D S should almost certainly be S^{mu nu} hat-D Psi_{mu nu} / hat-D S; the repeated index nu nu appears to be a typo.","section":"Section 4, Eq. (29)"},{"comment":"The derivative index rho in expressions such as (R^alpha_{.mu nu rho} S^{rho nu} U^mu U^nu)_{;rho} duplicates a dummy index already used inside the parentheses. This creates index clashes and makes the equations very hard to read; the dummy and derivative indices should be renamed consistently.","section":"Section 3, Eqs. (20) and (25)"},{"comment":"The key transformation equation (96) is attributed to 'Verozub, private communication 2019' in footnote 3; a citable published derivation should be supplied for this central step.","section":"Section 8, Eq. (96)"},{"comment":"The Conclusions cite equations (95), (96), (100), and (101) as spinning equations, but in the text those numbers refer to the geodesic/transformation equations and to the deviation equations; the equation numbering and cross-references should be checked throughout.","section":"Conclusions"},{"comment":"The paper uses nabla, hat-D, bar-D, D, semicolon, and | for covariant derivatives without a unified definition or a table of notation, and the placement of indices in the curvature tensors is not consistent (e.g., R^alpha_{.mu nu rho} versus R^alpha_{mu nu rho}). A consistent notation would substantially improve readability and verifiability.","section":"General notation"}],"recommendation":"reject","confidential_remarks":"This manuscript is a formal derivation paper with pervasive index errors and a central unproved commutation step. The problem is not a matter of presentation: the deviation equations, which are the advertised new results, are obtained by applying Riemannian commutation identities to non-Riemannian derivatives without justification. I would need to see a complete re-derivation, including verified index structure and a proof or replacement of the commutation step, before reconsidering. The reliance on the author's own prior work for key steps and on a private communication for Eq. (96) also needs attention."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper has a clear map, but the equations are not reliable. What is new: it is the first systematic attempt I know of to write Papapetrou-type equations and spin deviations for Rosen, Moffat, BIMOND, bigravity, and Verozub via the Bazanski Lagrangian. The organization is clean and the author has previously done the geodesic analogs, so this is a natural extension. The bibliographic coverage of bimetric theories is useful.\n\nBut the central derivation doesn't hold. The index errors are immediate: Eq (18) leaves free indices that don't match the left side; Eq (23) contains an extra U^ν. These are not typos; the equations as printed are not well-formed. More importantly, the deviation equations are obtained by applying the Riemannian commutation relations (11)-(14) to operators that are not Riemannian derivatives. In Rosen's theory the ∇ derivative uses Δ^μ_νρ = Γ^μ_νρ - Γhat^μ_νρ; the | derivative is the flat-space derivative; in BIMOND and the rest the connections differ. No proof or explicit assumption is given that any of these operators satisfies the Ricci identity. If they don't, the |ρ terms in (25)-(26) and the analogous terms in every later section are not derived.\n\nThe Bazanski Lagrangians also put the Papapetrou force term in by hand, so the 'derivation' of the spinning equation is a variational representation, not a first-principles derivation. That is a known limitation of the Bazanski method, but the paper presents it as new.\n\nCredit where due: the author knows the bimetric literature and clearly identifies the different connections at play. The comparison across theories is a reasonable goal. But as is, the paper's central claim is unsupported.\n\nRecommendation: desk reject. A revised draft that fixes the indices and proves or explicitly postulates the commutation relations for each connection might be refereeable, but this one is not.","headline":"The equations don't stand up: index errors and unsupported commutation steps leave every claimed deviation equation unproven.","tokens_in":13621,"tokens_out":4735,"would_cite":false,"duration_ms":46661,"reading_group":"no","serious_thinker":"no","would_accept_peer_review":false},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["83C10","83D05"],"pacs":["04.20.-q","04.50.Kd"],"model":"deepseek-v4-flash","headline":"A single Lagrangian recipe gives every bimetric gravity theory its own Papapetrou spin equations.","keywords":["bi-metric gravity","Papapetrou equations","spinning deviation equations","Bazanski Lagrangian","Rosen bimetric theory","bigravity","BIMOND","variable speed of light"],"falsifier":"In Rosen's theory, compute the commutator of the flat-space covariant derivative directly: if $A_{\\mu|\\nu\\rho} - A_{\\mu|\\rho\\nu}$ does not vanish or does not match identity (11), the $\\cdot_{|\\rho}$ terms in equations (25) and (26) are artifacts rather than physical effects. Equivalently, take a concrete bimetric solution, write out the spin-deviation equation with and without the flat-derivative terms, and check whether the difference changes a measurable precession.","tokens_in":12637,"feed_emoji":"🛰️","tokens_out":7862,"duration_ms":74357,"temperature":0.7,"pith_summary":"This paper sets out to show that every major bimetric theory of gravity—Rosen's, Moffat's variable-speed-of-light, Milgrom's BIMOND, the generalized two-metric formulation, Hassan-Rosen bigravity, and Verozub's field-dependent metric—admits a Papapetrou-style equation of motion for spinning test bodies together with its spinning deviation equation. The author proposes a distinct Lagrangian for each version and applies a modified Bazanski variational principle to obtain the equations, then uses commutation identities to generate the deviation equations. If the derivations hold, bimetric theories gain a common formal foundation for studying extended, spinning test bodies, and the second metric's affine structure becomes physically visible. In Rosen's version, the flat-space covariant derivative contributes extra terms to the deviation equations even though the second metric has vanishing curvature.","feed_headline":"Papapetrou spin equations extended to every bimetric gravity","feed_subtitle":"The flat companion metric alters spin deviation even with zero curvature—a clean way to test bimetric gravity against general relativity.","key_machinery":"The machinery is the modified Bazanski Lagrangian, whose variation in a deviation vector yields an equation of motion and whose variation in a deviation tensor yields the spin transport law, together with the commutation relations (11)-(14): the Ricci-type identity $A^{\\mu}{}_{;\\nu\\rho}-A^{\\mu}{}_{;\\rho\\nu}=R^{\\mu}{}_{\\beta\\nu\\rho}A^{\\beta}$ and the matching conditions equating derivatives of the deviation and tangent vectors. These identities convert the transport equations into deviation equations. Different affine structures enter through different curvatures: a single amended Riemann curvature for combined metrics, and separate curved and flat connections with difference $\\Delta^{\\mu}_{\\nu\\rho}=\\Gamma^{\\mu}_{\\nu\\rho}-\\hat{\\Gamma}^{\\mu}_{\\nu\\rho}$ for Rosen-type theories.","core_discovery":"The central claim is that the Papapetrou equations of spin motion and their deviation counterparts are not peculiar to general relativity: they can be reproduced in every bimetric type theory, provided each theory is given its own action-based Lagrangian of Bazanski form. For each theory the paper writes down such a Lagrangian, varies with respect to the deviation vector and deviation tensor, and obtains a pair of transport equations: one for momentum or velocity, the spin equation, and one for the spin tensor, the precession equation. Applying commutation identities to the transported quantities then yields the corresponding deviation equations. The distinctive physical result is that when the extended-body momentum is used, terms involving the flat-space, or second-metric, covariant derivative appear in Rosen-type theories, so the second metric affects spinning deviations despite being flat.","pith_inferences":["A direct next step would be to write the Rosen spin-deviation equations for a concrete solution, such as Schwarzschild geometry with a flat background metric, and compare the gamma-dependent terms with the general-relativity prediction; the paper does not perform that comparison.","If the extra flat-space terms survive, spin-precession or tidal measurements around compact objects could in principle distinguish bimetric gravity from general relativity, since the terms have no general-relativity counterpart.","The same variational recipe could be applied to Finsler-type or other non-Riemannian geometries, yielding Papapetrou-like equations whose curvature terms are not purely Riemannian.","In bigravity, the paired equations point toward a 'twin spin' sector; testing it would require specifying how twin matter interacts with ordinary matter, which the paper leaves open."],"forward_implications":["Each bimetric theory listed acquires its own Papapetrou equation and matching deviation equation from a single Lagrangian per theory.","In Rosen's theory, the flat-space covariant derivative appears in the deviation equations even though its curvature is zero, so the second metric is not inert.","Moffat's combined metric makes the Papapetrou-like equations resemble general relativity's, but with an amended curvature built from $\\hat{g}_{\\mu\\nu}$.","In BIMOND, the difference of the two curvatures governs spin motion, so the MOND acceleration scale enters through the connection difference $C^{\\alpha}_{\\beta\\gamma}$.","For Hassan-Rosen bigravity, the derivation yields coupled spin equations for ordinary and twin matter, with combined quasi-metric versions reducing to Moffat-type forms."],"supporting_citations":[{"why":"defines Rosen's two-metric framework whose geodesic equations are the starting point of Section 3.","marker":"[1-3]"},{"why":"introduces the combined variable-speed-of-light metric $\\hat{g}_{\\mu\\nu}$ used to build the Section 4 Lagrangians.","marker":"[6]"},{"why":"supplies the BIMOND twin-metric construction and the $a_0$ scale for Section 5.","marker":"[11]"},{"why":"furnishes the ghost-free bigravity field equations and the two-matter picture behind Section 7.","marker":"[12]"},{"why":"provides the bigravity path equations that Section 7 extends to spinning and precessing bodies.","marker":"[14]"},{"why":"sets up Verozub's geodesic-invariant metric depending on a force field $\\psi$, the basis for Section 8.","marker":"[15]"},{"why":"gives the author's earlier bimetric path and path-deviation equations that this work extends.","marker":"[18]"},{"why":"defines the Papapetrou spinning equations in general relativity, the target analogue for all bimetric versions.","marker":"[19]"},{"why":"introduces the Bazanski variational technique used to derive every spin and spin-deviation pair.","marker":"[23]"},{"why":"supplies the commutation identities that convert transport equations into deviation equations.","marker":"[25]"}],"fun_headline_variants":["Papapetrou spin equations now cover all bimetric theories","Flat second metric tweaks spin precession in bimetric gravity","Spinning deviation equations derived for every bimetric model","Bimetric gravity gets its own spin and deviation laws"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the flat-space covariant derivative defined by the second metric obeys the same commutation and deviation identities as the Riemannian one; if that fails, the flat-space correction terms in the Rosen deviation equations are not justified.","fun_headline_variants_meta":{"raw":{"variants":["Papapetrou spin equations now cover all bimetric theories","Flat second metric tweaks spin precession in bimetric gravity","Spinning deviation equations derived for every bimetric model","Bimetric gravity gets its own spin and deviation laws"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000487,"raw_usage":{"total_tokens":2312,"prompt_tokens":767,"completion_tokens":1545,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":383,"completion_tokens_details":{"reasoning_tokens":1478}},"tokens_in":383,"tokens_out":1545,"duration_ms":12400,"temperature":1.0,"reasoning_tokens":1478,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T12:42:26.572578+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"In Rosen's theory, compute the commutator of the flat-space covariant derivative directly: if $A_{\\mu|\\nu\\rho} - A_{\\mu|\\rho\\nu}$ does not vanish or does not match identity (11), the $\\cdot_{|\\rho}$ terms in equations (25) and (26) are artifacts rather than physical effects. Equivalently, take a concrete bimetric solution, write out the spin-deviation equation with and without the flat-derivative terms, and check whether the difference changes a measurable precession.","supporting_citations":[{"cited_title":"Variable Speed of Light Cosmology: An Alternative to Inflation","cited_arxiv_id":"hep-th/0208122","evidence_quote":"introduces the combined variable-speed-of-light metric $\\hat{g}_{\\mu\\nu}$ used to build the Section 4 Lagrangians."},{"cited_title":"Milgrom, Phys","cited_arxiv_id":null,"evidence_quote":"supplies the BIMOND twin-metric construction and the $a_0$ scale for Section 5."},{"cited_title":"On some fundamental problems of the theory of gravitation","cited_arxiv_id":"0911.5512","evidence_quote":"sets up Verozub's geodesic-invariant metric depending on a force field $\\psi$, the basis for Section 8."},{"cited_title":"Kahil Gravit","cited_arxiv_id":null,"evidence_quote":"gives the author's earlier bimetric path and path-deviation equations that this work extends."},{"cited_title":"Papapetrou Proceedings of Royal Society London A 209 , 248(1951)","cited_arxiv_id":null,"evidence_quote":"defines the Papapetrou spinning equations in general relativity, the target analogue for all bimetric versions."},{"cited_title":"Bazanski J","cited_arxiv_id":null,"evidence_quote":"introduces the Bazanski variational technique used to derive every spin and spin-deviation pair."},{"cited_title":"Heydrai-Fard, M","cited_arxiv_id":null,"evidence_quote":"supplies the commutation identities that convert transport equations into deviation equations."}],"review_version":1}