{"id":"009d9f02-5c3e-4aac-8f43-c3482eb22eca","arxiv_id":"2412.06747","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"The authors derive covariant world-line effective field theory equations of motion for a compact object moving relativistically through a fluid, matching coefficients to potential and Stokes flow.","lead":"This paper builds an effective field theory for a compact object moving through a fluid, replacing hard boundary conditions with simple source terms, and derives relativistic equations of motion for the object in both perfect and viscous fluids. Generalists might read it because it offers a systematic way to compute how buoyancy, drag, and gravity interact for objects in fluids, with potential applications to neutron stars and black holes.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Eq. (4.9), the advertised 'generally covariant' Stokes equation, is not covariant as written: the left side is the ordinary second derivative m¨x^μ, which is not a vector under coordinate changes in a curved background, while the right side is a vector.","rationale":"The paper's EFT construction is thoughtful and the perfect-fluid matching in Section 3 is internally consistent. However, the central advertised result, Eq. (4.9), as printed is not a tensor equation in curved spacetime: the ordinary second derivative of the worldline coordinates does not transform covariantly. This is not a subtle question of matching universality or higher-order corrections; it is a direct inconsistency with the claim of a generally covariant equation. The same section also varies only the dissipative interaction, so the inertial and added-mass effects from Section 3 do not appear, and the Stokes coefficient is missing the sphere radius R in the matching. These issues are more immediate than the reader's universality concern, which is standard EFT logic and likely valid at leading order. The appropriate verdict remains conditional: the formalism is promising, but the central equation must be rewritten with the covariant derivative, the full equation of motion must include the conservative sector, and the viscous matching must be stated with the correct dimensions.","tokens_in":16630,"tokens_out":21498,"duration_ms":247492,"concrete_test":"Perform a passive coordinate transformation x^μ → x'^μ(x) on Eq. (4.9). Verify that m¨x^μ does not transform as a vector unless the affine connection term is included, while Π^{μν}u_ν K transforms as a vector. Then re-derive Eq. (4.9) by varying the combined conservative-plus-dissipative Keldysh action and check that the F, F' terms and the connection term appear; this settles whether the printed equation is the generally covariant equation of motion.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"Section 4 claims it will 'write down a generally covariant equation of motion for a body in a viscous fluid' and then presents Eq. (4.9) as m¨x^μ = Π^{μν} u_ν K(...). In a curved spacetime the variation of a worldline action gives, for a free particle, m D ẋ^μ/dλ = m(¨x^μ + Γ^μ_{αβ} ẋ^α ẋ^β), not m¨x^μ. The paper never defines ¨x^μ as a covariant derivative and never supplies the connection term. As printed, the LHS of (4.9) is not a vector under diffeomorphisms while the RHS is, so the equation cannot be the generally covariant result advertised. Relatedly, Eq. (4.9) is obtained by varying only the dissipative interaction S_int (4.8); the conservative F and F' terms from Section 3 are absent, so the inertial/added-mass/buoyancy effects derived earlier do not appear in the claimed equation of motion. Also, the Stokes matching K(1,ρ) = 6πρν in Section 4 is dimensionally inconsistent without the sphere radius R; the standard drag is 6πρνR.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops a world-line effective field theory for a compact object moving through a relativistic viscous fluid, with the fluid described by Eulerian variables and the object by a point-particle action. The authors match the leading Wilson coefficients in non-relativistic, flat-space benchmark flows: F = 1 - rho_hat and F' = -3/2 rho_hat from potential flow around a sphere, and K = 6 pi rho nu from Stokes drag. They then derive a relativistic modified Euler equation and, using a generally covariant Keldysh construction, propose a covariant Stokes equation (4.9). The paper includes applications to buoyancy, Archimedes' principle, and binary inspiral regimes.","tokens_in":16922,"tokens_out":8223,"duration_ms":92290,"significance":"The EFT framework is well motivated and, if the matching and covariance issues are fixed, would provide a systematic way to avoid boundary-value problems in fluid-body interactions while reproducing textbook results (d'Alembert's paradox, Archimedes' law, bubble acceleration 2g). The matching calculations are explicit, and the use of in-in/Keldysh variables for dissipative forces is ambitious and potentially useful. The paper is also appropriately cautious about the laminar-flow regime and does not overclaim applicability to generic inspirals. However, the central advertised covariant equation of motion is not yet correctly derived as written, and the Stokes coefficient is missing the object radius.","major_comments":[{"comment":"The left side m xddot^mu is not a vector in curved spacetime; the covariant equation should involve the covariant derivative m D xdot^mu/dlambda, which equals m(xddot^mu + Gamma^mu_{alpha beta} xdot^alpha xdot^beta) for affine parameterization. As printed, Eq. (4.9) is not invariant under coordinate changes, contradicting the claim that it is a generally covariant Stokes equation. Please derive the equation of motion from the full action, including the kinetic term, and state explicitly which derivative is used.","section":"Section 4, Eq. (4.9)"},{"comment":"Varying only the dissipative interaction S_int omits the conservative contributions F and F' from Section 3. The complete equation of motion should contain both the ideal-fluid forces (added mass, buoyancy) and the dissipative force; otherwise Eq. (4.9) does not describe the full motion of the compact object. Please present the combined equation, or clearly state that Eq. (4.9) is only the dissipative part of the force law.","section":"Section 4, Eqs. (4.8)-(4.9)"},{"comment":"The stated matching K(1,rho) = 6 pi rho nu is dimensionally inconsistent: the standard Stokes drag on a sphere of radius R is 6 pi rho nu R (u - v), not 6 pi rho nu (u - v). The radius should appear in the Wilson coefficient, either explicitly or through the object volume V_p = M/rho_ob. Please correct Eq. (4.11) and the subsequent matching statement.","section":"Section 4, matching of K(1,rho)"},{"comment":"The derivation of F' = -3/2 rho_hat is too compressed. The step from the EFT equation of motion (3.12) to the comparison with the potential-flow result (3.13) involves nontrivial algebra, including the use of incompressibility and the background/perturbation split, and should be shown explicitly. Since F' enters all conservative equations derived later, this is a load-bearing step.","section":"Section 3.1, Eqs. (3.12)-(3.14)"}],"minor_comments":[{"comment":"Equation (4.10) has unbalanced parentheses in the expression for the K expansion; please repair the parenthesis structure.","section":"Section 4, Eq. (4.10)"},{"comment":"The overdot notation in Section 4 is not defined; please state that it denotes differentiation with respect to the world-line parameter and whether that parameter is proper time.","section":"Section 4"},{"comment":"The Discussion claims coefficients are fixed 'up to fourth order in the velocity difference' in the perfect-fluid case, but the body of the paper expands only to first order in (gamma - 1) plus one first-derivative correction; please clarify this statement.","section":"Section 6"},{"comment":"The Stokes-law matching should cite a standard reference for Stokes drag; reference [15] is cited for potential flow around a sphere but not for the viscous Stokes result.","section":"Section 4"},{"comment":"The mass of the object is denoted M in Section 3 and m in Section 4; please unify the notation to avoid confusion.","section":"Throughout"},{"comment":"There is a typo 'w–ith' in the sentence introducing the final definition of x_a; please correct it.","section":"Appendix A, page 21"}],"recommendation":"major_revision","confidential_remarks":"The manuscript is promising and the EFT framework is worth publishing after the central covariance and dimensional issues are fixed. I do not see grounds for rejection, but the advertised covariant Stokes equation needs careful revision before the paper can be accepted."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The EFT framework is real: matching F and F' against potential flow, recovering d'Alembert and Archimedes, and the covariant Keldysh variables in Appendix A are genuinely useful. The relativistic modified Euler equation (3.39) is new and looks right. If you work on compact objects in fluids, this framework is worth knowing.\n\nBut the headline equation (4.9) has problems. As printed, the LHS is m d²x^μ/dλ², an ordinary derivative, while the RHS is a vector. That is not a generally covariant equation; you need the connection term. The paper never defines the dot as a covariant derivative, so the abstract's promise is not met. The Stokes matching also misses the radius: K(1,ρ)=6πρν has the wrong dimension; the drag is 6πρνR (or keep R explicit in (4.11)). These are not cosmetic. The equation is also incomplete: it comes from varying only the dissipative interaction (4.8), so the conservative F and F' forces derived in Section 3 are absent from the claimed equation of motion. A reader cannot tell what the full equation of motion actually is.\n\nOther soft spots: the F' matching step around (3.12)–(3.14) is cryptic; you have to supply several silent algebraic steps to get F' = -3/2 ρhat. The universality of the matching coefficients across relativistic and curved regimes is asserted, not checked; that is standard EFT practice, but for a first paper it deserves a sentence of justification. And the paper is honest that this does not apply to binary inspirals, which limits the motivation.\n\nThe framework is sound enough to deserve a serious referee, but the version I read needs major revision: fix the covariance, restore R, and combine the conservative and dissipative terms into a single equation of motion. Once those are done, it would be a solid contribution.","headline":"Solid EFT machinery and a clever Keldysh construction, but the advertised generally covariant Stokes equation is not covariant as written and misses the sphere radius—fixable, but the central claim as printed is wrong.","tokens_in":17459,"tokens_out":4450,"would_cite":false,"duration_ms":44245,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":["04.40.-b"],"model":"deepseek-v4-flash","headline":"The paper establishes a world-line effective field theory that turns the fluid-object interaction into local source terms, yielding a covariant Stokes-like equation for a compact object in a relativistic viscous fluid.","keywords":["effective field theory","point particle","relativistic viscous fluid","world-line formalism","Keldysh closed-time-path","Stokes drag","compact objects","buoyancy"],"falsifier":"Solve the full relativistic fluid equations around a small rigid sphere in a weakly curved background to first order in the kinematic viscosity, with the same hard-wall boundary conditions used in the matching, and compare the drag force with $6\\pi\\rho\\nu(u_\\mu - \\dot{x}_\\mu)$ projected transverse to the worldline; any leading-order curvature or density-gradient correction to the coefficient would show that the universality assumption fails and equation (4.9) is not the full story.","tokens_in":16407,"feed_emoji":"🌊","tokens_out":9501,"duration_ms":86055,"temperature":0.7,"pith_summary":"The paper aims to show that a compact object moving through a viscous fluid can be described by a world-line effective field theory in which the object is a point particle and all boundary and finite-size effects are absorbed into a small set of matching coefficients. If correct, this eliminates the need to solve a moving-boundary problem at each time step whenever velocity gradients are small compared to the object's size. The payoff is a set of fully covariant equations of motion: a relativistic modified Euler equation for the fluid and a covariant generalization of Stokes drag for the object, which the authors state has not appeared in the literature before. A sympathetic reader would care because the same matched coefficients also reproduce known non-relativistic results such as d'Alembert's paradox and Archimedean buoyancy, and the formalism allows systematic relativistic and post-Newtonian corrections.","feed_headline":"Covariant Stokes law for compact objects in relativistic fluids","feed_subtitle":"Boundary conditions become local source terms, yielding a covariant Stokes equation for curved spacetime.","key_machinery":"The central object is the world-line effective action with undetermined functions of the Lorentz factor $\\gamma = \\dot{x}\\cdot u/\\sqrt{\\dot{x}^2}$ and the density ratio $\\hat{\\rho} = \\rho\\mu/\\rho_{\\rm ob}$. The argument is carried by matching: $F$ and $F'$ are fixed in flat-space, non-relativistic, incompressible potential flow around a sphere, giving $F=1-\\hat{\\rho}$ and $F'=-\\frac{3}{2}\\hat{\\rho}$, while the viscous coefficient $K$ is fixed by Stokes drag on a sphere, giving $K(1,\\rho)=6\\pi\\rho\\nu$. These coefficients are treated as universal short-distance data and lifted into the fully relativistic, generally covariant action. To incorporate dissipation, the paper constructs generally covariant Keldysh variables from Synge's worldfunction $\\sigma(x_-,x_+)$, with $x_a^\\mu = \\partial^\\mu\\sigma(x_r,x_+)$ projected transverse to the worldline; this projection is what keeps the covariant Stokes force on-shell in curved spacetime.","core_discovery":"The central claim is that the point-particle action $S = -M \\int d\\lambda \\sqrt{\\dot{x}^2} F(\\dot{x}\\cdot u/\\sqrt{\\dot{x}^2},\\rho)$, with the matched coefficients $F = 1-\\hat{\\rho}$ and $F' = -\\frac{3}{2}\\hat{\\rho}$ for a perfect fluid and $K(1,\\rho) = 6\\pi\\rho\\nu$ for the viscous case, yields the first covariant equations of motion for a compact object immersed in a relativistic fluid. Conservation of the total stress-energy tensor gives the relativistic modified Euler equation $(\\rho+p)u^\\mu \\partial_\\mu u^\\alpha - g^{\\mu\\alpha}\\partial_\\mu p = h^{\\alpha\\nu}\\partial_\\mu T^{\\mu\\nu}_{pp}$, and varying the in-in action with respect to the averaged worldline gives the covariant Stokes-like equation $m \\ddot{x}^\\mu = \\Pi^{\\mu\\nu} u_\\nu K(\\gamma,\\rho)$. The authors state that this equation has not appeared in the literature before, though its form was anticipated. What is being established is a parameter-free derivation chain: a fluid action plus a world-line action with fixed short-distance coefficients gives relativistic equations of motion without solving a boundary value problem.","pith_inferences":["If the flat-space, non-relativistic matching coefficients are truly universal, the same action could be re-matched for other boundary conditions, such as absorbing horizons for black holes or mass-accreting neutron stars, but that extension is not demonstrated in the paper.","The Synge-worldfunction construction of Keldysh variables is a transferable tool: it gives a covariant notion of the difference between two worldlines, which could be applied to other dissipative point-particle problems such as radiation reaction in curved spacetime.","The paper's own Reynolds-number estimate suggests that for realistic astrophysical inspirals the laminar-flow regime is unlikely to hold, so the practical application to gravitational-wave signals would require a separate treatment of turbulent accretion; testing this would require numerical simulations beyond the paper."],"forward_implications":["For laminar flows with small velocity gradients, fluid-object simulations no longer need to update boundary conditions on the object's surface at every time step; the matching coefficients encode that physics once and for all.","The relativistic modified Euler and continuity equations, (3.39) and (3.40), allow the fluid and the point particle to be evolved together in a curved background, including systematic post-Newtonian corrections.","The covariant Stokes equation (4.9), with $K(1,\\rho)=6\\pi\\rho\\nu$, gives a concrete prediction for the drag force on a small body in a relativistic viscous fluid, valid to second order in the relative velocity.","The same matched coefficients reproduce d'Alembert's paradox, Archimedean buoyancy, and the modified gravitational potential between two submerged bodies, showing that known fluid-object results are contained in the EFT.","Higher-derivative corrections remain systematic: adding the operator $(\\partial\\cdot u)G_1[\\gamma,\\rho]$ produces a new non-relativistic equation of motion, (3.42), not previously in the literature."],"supporting_citations":[{"why":"Supplies the world-line effective field theory method that this paper generalizes from gravity to fluid-coupled compact objects.","marker":"[2]"},{"why":"Provides the gravitational world-line EFT whose structure is adapted to the fluid-coupled compact object.","marker":"[3]"},{"why":"Provides the in-in/Keldysh bulk action for relativistic viscous fluids used to incorporate dissipation.","marker":"[7]"},{"why":"The work that anticipated the covariant Stokes equation (4.9).","marker":"[9]"},{"why":"Supplies the dissipative world-line operator technology used in the viscous section.","marker":"[13]"},{"why":"Source of the potential flow around a sphere and the Stokes drag formula used in the matching calculations.","marker":"[15]"},{"why":"Provides Synge's worldfunction and bitensor techniques used to build the covariant Keldysh variables.","marker":"[20]"}],"fun_headline_variants":["Effective field theory yields covariant Stokes law in curved spacetime","No boundary value problem: EFT for relativistic viscous drag","First covariant Stokes equation for compact objects in viscous fluids","Worldline EFT turns fluid boundary conditions into action source terms"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the coefficients matched in non-relativistic, flat-space, laminar flows ($F=1-\\hat{\\rho}$, $F'=-\\frac{3}{2}\\hat{\\rho}$, $K=6\\pi\\rho\\nu$) are universal short-distance data, so they can be carried unchanged into the relativistic, curved-space equations of motion; if relativity or curvature modifies these coefficients at leading order, the new equations do not describe the intended systems.","fun_headline_variants_meta":{"raw":{"variants":["Effective field theory yields covariant Stokes law in curved spacetime","No boundary value problem: EFT for relativistic viscous drag","First covariant Stokes equation for compact objects in viscous fluids","Worldline EFT turns fluid boundary conditions into action source terms"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000235,"raw_usage":{"total_tokens":1464,"prompt_tokens":872,"completion_tokens":592,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":488,"completion_tokens_details":{"reasoning_tokens":524}},"tokens_in":488,"tokens_out":592,"duration_ms":5974,"temperature":1.0,"reasoning_tokens":524,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T19:18:56.972246+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the full relativistic fluid equations around a small rigid sphere in a weakly curved background to first order in the kinematic viscosity, with the same hard-wall boundary conditions used in the matching, and compare the drag force with $6\\pi\\rho\\nu(u_\\mu - \\dot{x}_\\mu)$ projected transverse to the worldline; any leading-order curvature or density-gradient correction to the coefficient would show that the universality assumption fails and equation (4.9) is not the full story.","supporting_citations":[{"cited_title":"A covariant formulation of relativistic mechanics","cited_arxiv_id":"2202.04658","evidence_quote":"The work that anticipated the covariant Stokes equation (4.9)."},{"cited_title":"Landau and E.M","cited_arxiv_id":null,"evidence_quote":"Source of the potential flow around a sphere and the Stokes drag formula used in the matching calculations."}],"review_version":1}