{"id":"73664c39-025f-41b3-8a4a-dcf9797170ca","arxiv_id":"2607.22492","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Steady self-propelled weak solutions exist for arbitrary boundary speed provided the total flux through the body surface is sufficiently small, generalizing Galdi's theorem to nonzero flux.","lead":"The paper proves that a self-propelled rigid body in a viscous fluid always has a steady weak solution when the net flux through its surface is small — even if the surface speed is large. This removes two technical restrictions (zero flux and small boundary data) from Galdi's classical existence theorem.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Section 4 Step (3) relies on a false compactness claim: A^{-1/2}: H_R→V_R is an isometric isomorphism, not a compact operator, so the Leray–Schauder step is not justified as written.","rationale":"I read the paper in good faith and found a genuine, interesting advance: the flux-carrier construction in Lemma 3.1 allows extension of boundary data without smallness of v*, and the resulting existence statement is a plausible generalization of Galdi's theorem. However, the proof of Theorem 1.1 contains an internal error that is more directly load-bearing than the boundary-regularity question the reader flagged. The mistaken identification of A^{-1/2} as compact from H_R to V_R is not a matter of an unproved external lemma; it contradicts the paper's own identities (2.13)–(2.14), which show A^{-1/2} is an isometric isomorphism onto V_R. This false step is the sole justification for complete continuity of B, and without complete continuity the Leray–Schauder existence argument for the bounded-domain problems collapses. I do not claim the theorem is false—the compactness can likely be proved by standard methods—but the manuscript as written has a serious proof gap. The boundary-regularity concern is legitimate but, in my view, secondary and probably repairable using Stein's regularized distance and standard Lipschitz-domain Hardy inequalities. Because the paper still needs correction but the central result may well be true, the appropriate verdict remains CONDITIONAL, matching the reader's verdict.","tokens_in":16947,"tokens_out":21781,"duration_ms":209400,"concrete_test":"Test the compactness claim with the spectral theorem: choose an orthonormal basis (ψ_n) of V_R and set U_n=A^{1/2}ψ_n. Then ∥U_n∥_{H_R}=1 while A^{-1/2}U_n=ψ_n has no convergent subsequence in V_R, disproving the claimed compactness. Then attempt to replace Step (3) with a proof that u↦A^{1/2}G(u,u) is compact from H_R to H_R using V_R↪L^4; if this cannot be done, the existence proof for each Ω_R is incomplete.","verdict_should_be":"UNCHANGED","load_bearing_attack":"In Section 4, Step (3), the proof of complete continuity of B asserts: “Since A^{-1/2} is compact, the sequence {A^{-1/2}U_j} ⊂ V_R contains a strongly convergent subsequence in V_R.” This is false. From (2.13)–(2.14), for every U∈H_R, ∥U∥_{H_R}=∥A^{-1/2}U∥_{V_R}, and A^{-1/2} maps H_R onto V_R (because D(A^{1/2})=V_R). Hence A^{-1/2}: H_R→V_R is an isometric isomorphism. In an infinite-dimensional Hilbert space such an operator cannot be compact. The subsequent step—using the isometry to conclude that {U_j} is Cauchy in H_R—depends precisely on the non-existent compactness in V_R. This is the only argument given to verify that B is completely continuous, so Leray–Schauder is not rigorously applicable. A correct proof would have to establish compactness of the nonlinear map u↦A^{1/2}G(u,u) directly (e.g., through the compact embedding V_R↪L^4), but no such argument is supplied. This is an internal error in the proof of Theorem 1.1, distinct from the boundary-regularity gap identified by the reader.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the steady self-propelled motion of a rigid body in an exterior three-dimensional viscous incompressible fluid, described by a coupled Navier-Stokes/rigid-body system in a body-fixed frame. The main result (Theorem 1.1) asserts the existence of weak solutions under the assumption that the flux Φ of the prescribed boundary velocity v* through ∂Ω satisfies Re C_0(Ω)|Φ|<1, with ∂Ω locally Lipschitz. This generalizes Galdi's earlier theorem, which required zero flux and small boundary data. The proof introduces a solenoidal extension of v* that does not require zero flux or smallness of the boundary data, and then uses invading domains, a generalized Stokes operator on bounded domains, and a Leray-Schauder fixed-point argument. The paper also contains a quantitative bound for the rigid body velocity and the Dirichlet norm of the fluid velocity when |Φ| is at most 1/(2Re C_0(Ω)).","tokens_in":17131,"tokens_out":13450,"duration_ms":131559,"significance":"If the result is correct, it is a genuine improvement over [1, Theorem 5.1]: the zero-flux condition is removed and the smallness assumption on the boundary datum is replaced by a small-flux condition. The proposed divergence-free extension with nonzero flux is a potentially reusable technical contribution. The paper is clearly written and the functional framework follows known references. However, two gaps in the proof must be resolved before the main theorem can be accepted: the compactness claim for A^{-1/2} is false, and the boundary-regularity assumptions in the imported extension lemmas are not aligned with the stated locally Lipschitz hypothesis. The manuscript does not provide machine-checked proofs or numerical verification, but the analytical approach is standard.","major_comments":[{"comment":"The proof of complete continuity of B in Step (3) relies on the assertion that A^{-1/2}: H_R -> V_R is compact. This is false. From (2.13)-(2.14), A^{1/2}: V_R -> H_R is an isometric isomorphism, so its inverse A^{-1/2}: H_R -> V_R is also an isometric isomorphism. An isometric isomorphism between infinite-dimensional Hilbert spaces cannot be compact. The subsequent deduction that {A^{-1/2}U_j} has a strongly convergent subsequence in V_R is therefore invalid. Since this is the only argument supplied for the complete continuity required by the Leray-Schauder theorem, the existence proof for the truncated problem is incomplete. The authors should prove compactness of the nonlinear map directly, e.g. via the compact embedding V_R ↪ L^4.","section":"Section 4, Step (3); Section 2, after (2.14)"},{"comment":"The theorem is stated for locally Lipschitz ∂Ω, but the proof of Lemma 3.1 imports Hopf-type extension lemmas from Galdi [2] (Lemmas III.6.2, IX.4.2, X.4.2) that are classically formulated for C^2 boundaries. The solenoidal extension estimates (3.4)-(3.5) on Lipschitz domains are also asserted without proof or reference. Because the extension lemma is the key technical step and determines the flux condition, the paper must either justify these lemmas at the locally Lipschitz level or restrict the theorem to C^2 boundaries.","section":"Lemma 3.1, Step 2"}],"minor_comments":[{"comment":"The sentence 'Actually, A^{-1/2} is a compact operator' is the source of the error discussed in Major Comment 1; it should be removed or corrected.","section":"Section 2, after (2.14)"},{"comment":"The set B_0 in 'Fix x0∈int(B0)' is not defined. Please specify it (presumably a ball contained in S).","section":"Lemma 3.1, Step 1"},{"comment":"In the bound for ∥u∥_V, the norm ∥v*∥_{1/2,2,Ω} should read ∥v*∥_{1/2,2,∂Ω}.","section":"Section 4, final estimate"},{"comment":"The statement 'w=0 in B_R0' is ambiguous; since B_R0 was defined as the exterior domain {|x|>R0}, this is correct, but the wording could be clarified.","section":"Section 3, (3.6)"},{"comment":"The passage to the limit R_j→∞ is only sketched. A few details on the convergence of the rigid body velocities and the identification of the weak limit would improve the paper.","section":"Section 4, after (4.17)"}],"recommendation":"major_revision","confidential_remarks":"The compactness error is unambiguous and must be fixed; it is not a stylistic issue. If the authors can prove the direct compactness of the nonlinear fixed-point map, the proof may go through. The boundary regularity issue may be resolved by citing more recent Lipschitz-regularity results for Hopf extensions or by weakening the hypothesis. I recommend major revision rather than rejection because the overall strategy is sound and the errors appear repairable within the scope of the paper."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Short version: the paper does what it says—it proves existence for the steady self-propelled body when the prescribed boundary flux is small, dropping the zero-flux and small-data restrictions from Galdi’s 1999 theorem. Lemma 3.1 is the real work: the flux-carrier plus a compactly supported solenoidal lift, with the key nonlinear estimate depending only on Re C0(Ω)|Φ|. That is a genuine generalization, not a repackaging, and the estimates are explicit enough to check.\n\nThe soft spots:\n\nFirst, boundary regularity. The theorem assumes ∂Ω is locally Lipschitz, but the proof imports Hopf-extension estimates from Galdi [2, Lemmas III.6.2, IX.4.2, X.4.2] that are classically stated for C^2 boundaries. The paper doesn’t flag or prove the Lipschitz version. This may be a known extension, but it needs a reference or a sentence. Not fatal if it exists, but it is a real mismatch between hypothesis and cited tool.\n\nSecond, and more serious: the reader’s report and the stress-test are right that Section 4’s complete-continuity argument is wrong as written. From (2.13)-(2.14), A^{1/2}: V_R → H_R is an isometric isomorphism, and so is A^{-1/2}: H_R → V_R. An isometric isomorphism between infinite-dimensional Hilbert spaces is not compact. The compact embedding V_R ↪ H_R only gives A^{-1/2} compact as H_R → H_R, not as H_R → V_R. Step (3) asserts exactly the false version and then uses it to extract a Cauchy subsequence in V_R. That is the only justification for complete continuity of B, so Leray–Schauder is not rigorously applied. The fix isn’t obviously trivial—you’d need a direct compactness argument for the trilinear map u ↦ A^{1/2}G(u,u), maybe through V_R ↪ L^4—but it’s probably standard for someone working in this area. I can’t see the theorem falling for this reason; the uniform bound is coherent and the structure is right.\n\nThe exterior limit passage in Section 4 is compressed but conventional.\n\nBottom line: this is worth a serious referee. The result matters to the fluid-structure interaction community, the flux-carrier construction is a real contribution, and the gaps are identifiable and likely repairable. I wouldn’t cite the main theorem until the compactness step is fixed; I’d send it out.","headline":"Genuinely new flux-carrier construction, but the Leray–Schauder step relies on a false compactness claim about A^{-1/2}; the theorem is likely right and repairable, but not proven as written.","tokens_in":17772,"tokens_out":3415,"would_cite":false,"duration_ms":34346,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","76D05","74F10"],"pacs":[],"model":"deepseek-v4-flash","headline":"For a rigid body self-propelling through a viscous incompressible fluid, existence of a weak solution follows from small net surface flux alone, without zero-flux or small-data assumptions.","keywords":["self-propelled motion","Navier-Stokes equations","fluid-rigid body interaction","nonzero boundary flux","exterior domain","weak solutions","solenoidal extension","fixed-point method"],"falsifier":"Reproduce Lemma 3.1 on a locally Lipschitz domain with a reentrant corner or slit: check whether the compactly supported solenoidal extension of a zero-flux boundary field satisfies the stated measure estimate |supp ψε|^s ≤ cε and gradient bound |∇ψε| ≤ εκ₂/d(x) with constants independent of the corner. A concrete failure — for example, constants that blow up as the corner opens — would show that the theorem's locally Lipschitz hypothesis is insufficient.","tokens_in":16716,"feed_emoji":"🏊","tokens_out":7557,"duration_ms":83597,"temperature":0.7,"pith_summary":"This paper shows that a rigid body can move steadily through a viscous fluid under its own power even when the prescribed surface velocity pumps fluid across the body surface, as long as the total net flux through the surface is sufficiently small. Earlier existence theory for this coupled fluid–body problem required the boundary flux to be zero and the boundary data to be small. The authors remove both restrictions by building a divergence-free extension of the boundary velocity whose flux-carrying part is separated from the rest, yielding the key estimate that controls the nonlinear term. They then prove, for locally Lipschitz body surfaces, that at least one weak solution exists and, under a stronger small-flux condition, an explicit bound on swimming speed and fluid dissipation. A sympathetic reader would care because this widens rigorous existence theory to realistic propulsion mechanisms — jets, moving belts, cilia — that do not conserve surface flux pointwise.","feed_headline":"Steady swimming proved with nonzero surface flux","feed_subtitle":"Theorem removes zero-flux and small-data restrictions for steady self-propulsion.","key_machinery":"The load-bearing object is the solenoidal extension ev* of the boundary velocity. It is assembled from two pieces: a flux carrier Φσ(x)=Φ∇E(x−x0) — the gradient of the fundamental Laplace solution centered at a point inside the body — which carries the total flux Φ and is divergence-free in the fluid region; and a compactly supported curl construction for the remaining zero-flux part β* = v* − Φσ|∂Ω, made local near the boundary by a regularized-distance cut-off. The decisive property is the estimate (Lemma 3.1) that bounds the difficult trilinear integral by (γ + C(Ω)Re|Φ|)||u||²; because γ can be chosen arbitrarily small, this reduces the existence proof to the single smallness condition o","core_discovery":"On its own terms, the paper's central claim is Theorem 1.1: for an exterior domain with locally Lipschitz boundary and a prescribed boundary velocity v* in the trace space W^{1/2,2}, if Re C0(Ω)|Φ| < 1 where Φ is the net flux of v* through the body surface, then problem (1.1) has at least one weak solution. Previously the same problem was solvable only under the stronger conditions Φ = 0 and small ||v*||. The engine is Lemma 3.1, which constructs a solenoidal extension ev* of v* satisfying 2 Re |∫(u−V)·W(u)·ev*| ≤ (γ + C(Ω)Re|Φ|)||u||², allowing the nonlinear term to be absorbed. The proof then runs a fixed-point argument on bounded subdomains and passes to the exterior limit. The theorem al","pith_inferences":["Editorial extension: The flux-carrier construction should transfer to related models, such as Navier-slip boundary conditions or density-dependent fluids, replacing zero-flux hypotheses with the same small-flux condition.","Editorial extension: Because the theorem allows large boundary velocities at small net flux, it suggests a rigorous path toward jet propulsion and ciliary pumping models, where strong local surface flows nearly cancel in net mass transport.","Editorial extension: The explicit constant C0(Ω) could be computed for simple shapes such as a sphere or ellipsoid and tested numerically; a sharpened value would give a concrete swimming-speed threshold for given boundary actuation."],"forward_implications":["Existence of weak solutions now holds for self-propulsion with jets or suction/blowing, since the boundary flux need not vanish.","The boundary data may be large; only Re C0(Ω)|Φ| < 1 is required.","When the flux is below half the threshold, the solution satisfies explicit bounds on the translational speed |ξ|, angular speed |ω|, and velocity-gradient norm in terms of the boundary data.","The fixed-point construction on bounded subdomains passes to the exterior domain and yields at least one weak solution for locally Lipschitz body surfaces."],"fun_headline_variants":["Zero-flux no longer needed for steady swimming","Nonzero flux allowed for steady self-propulsion","Steady motion with flux: new existence proof","Galdi's theorem extended to allow flux"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof's load-bearing premise is that the boundary cut-off estimates used to build the compactly supported divergence-free extension of the zero-flux part hold on a merely locally Lipschitz boundary; those estimates are classically stated for smoother boundaries, and the paper imports them without a separate Lipschitz verification.","fun_headline_variants_meta":{"raw":{"variants":["Zero-flux no longer needed for steady swimming","Nonzero flux allowed for steady self-propulsion","Steady motion with flux: new existence proof","Galdi's theorem extended to allow flux"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000647,"raw_usage":{"total_tokens":2820,"prompt_tokens":769,"completion_tokens":2051,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":513,"completion_tokens_details":{"reasoning_tokens":2002}},"tokens_in":513,"tokens_out":2051,"duration_ms":16777,"temperature":1.0,"reasoning_tokens":2002,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T04:35:08.639214+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Reproduce Lemma 3.1 on a locally Lipschitz domain with a reentrant corner or slit: check whether the compactly supported solenoidal extension of a zero-flux boundary field satisfies the stated measure estimate |supp ψε|^s ≤ cε and gradient bound |∇ψε| ≤ εκ₂/d(x) with constants independent of the corner. A concrete failure — for example, constants that blow up as the corner opens — would show that the theorem's locally Lipschitz hypothesis is insufficient.","supporting_citations":[],"review_version":1}