{"id":"ec39dff4-ab64-426d-b52f-8c26c023a1ed","arxiv_id":"2607.17844","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For nearly circular capillary drops with constant vorticity, rigidity to the oblate-spheroid solution is shown for a new parameter range up to 64/3, well above the earlier variational threshold.","lead":"This paper proves that a steady capillary liquid drop with constant vorticity, whose equatorial cross-section is almost circular, must be a rotationally symmetric oblate spheroid — for a substantially larger range of the vorticity-to-capillarity parameter than previously known. It is a rigorous rigidity result that maps out where non-symmetric rotating drop shapes can first appear.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.1 overclaims uniformity: the proof's required δ must scale with (32/3 − λ0) and tends to 0 as λ0→32/3, so no single δ depending only on α0,σ0 can cover all |D| satisfying (1.14).","rationale":"The most load-bearing concern is the quantifier in Theorem 1.1. The proof's coercivity constant μ0 vanishes linearly as λ0 approaches 32/3, and λ0 depends on |D|, which is a property of the solution. For fixed α0, σ0, condition (1.14) allows λ0 to be arbitrarily close to 32/3, so the required smallness δ also must go to zero. The theorem's assertion of a single δ(α0,σ0) is therefore unsupported. This is an internal inconsistency in the paper's argument, not merely a gap in the literature. The identity (1.15) and bootstrap lemma are imported from [4]; while this is a dependency, it is not the main issue for the stated theorem. The uniformity flaw is easily repaired by stating the theorem with δ depending on λ0 (or on a positive gap η). Hence the result is likely correct as a mechanism, but the present statement is overclaimed. The reader's verdict of CONDITIONAL is appropriate; I see no reason to change it.","tokens_in":14150,"tokens_out":10258,"duration_ms":99277,"concrete_test":"Re-read the proof from (2.37) to (2.44) and write the smallness condition explicitly. Show that the final requirement is ∥h∥_{C^2} ≤ C₀(32/3 − λ0) for some C₀>0, by tracking constants and using μ0 = (π/16)(32−3λ0). Then, for any δ>0, choose ε < 3C₀δ/32 and set |D| so that λ0 = 32/3 − ε; condition (1.14) holds but the proof's requirement fails for that δ. This demonstrates the claimed δ(α0,σ0) is impossible. If a re-derivation instead yields a δ independent of λ0, the concern is void.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After normalizing |D'|=π, the proof establishes C(D) ≥ (μ0 − C∥h∥_{C^2})∥a∥²_{H^{3/2}} (eq. 2.39) and then requires ∥h∥_{C^2} < δ with δ small enough that μ0 − Cδ ≥ μ0/2. Here μ0 = min_{ℓ≥2} 2πℓ(ℓ−1)(ℓ+2−3λ0/8)/ℓ³, and for λ0<32/3 the minimum is attained at ℓ=2, giving μ0 = (π/16)(32−3λ0) = (3π/16)(32/3 − λ0). Thus δ must be ≤ c(32/3 − λ0). Since λ0 = (α0²/(2σ0))(|D|/π)^{3/2} and condition (1.14) only requires λ0<32/3, for fixed α0,σ0 one can take |D| such that λ0 is arbitrarily close to 32/3, making μ0 arbitrarily small and forcing δ→0. Therefore the stated δ depending only on α0,σ0 cannot exist. The argument is otherwise self-contained apart from the identity (1.15) and Lemma 2.1 taken from [4]; but even granting those, the uniformity claim fails. This is repairable by replacing the theorem's hypothesis with λ0 ≤ 32/3 − η and δ = δ(α0,σ0,η).","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies stationary solutions of the free-boundary Euler equations for a three-dimensional capillary liquid drop with constant vorticity. The main result (Theorem 1.1) states that if the equatorial section D of a C^2 solution has its barycenter at the origin, its boundary is a C^2-small graph over the unit circle, and the dimensionless parameter λ0 = (α0^2/(2σ0))(|D|/π)^{3/2} is below 32/3, then D must be exactly a disc, the drop is an oblate spheroid with profile (1.4),(1.11), and the velocity is the rigid rotation (α0/2)(-x2,x1,0). The proof normalizes the area, expands the shape functional C=A+λ0B around the unit disc using the Dirichlet-Neumann operator, and shows that for λ0<32/3 the quadratic part is coercive on the nonconstant modes. The paper includes detailed Taylor expansions and a coercivity argument.","tokens_in":14487,"tokens_out":12212,"duration_ms":101994,"significance":"If valid, the result extends the known rigidity threshold from the variational bound (1.10), which corresponds to λ0<√2/2, to λ0<32/3 under the additional near-circularity assumption. This is a substantial quantitative improvement and the conclusion is falsifiable: it predicts the nonexistence of non-axisymmetric nearly circular steady drops in that parameter range. The paper contains a new expression for the boundary gradient of the torsion function in terms of the Dirichlet-Neumann operator (Lemma 2.2), and the Taylor expansions are carried out with care. No fitted parameters are used. However, the main theorem overclaims the uniformity of δ, and the proof relies on unpublished preprints for essential ingredients.","major_comments":[{"comment":"The proof does not establish the stated dependence of δ on α0,σ0 only. After normalizing |D'|=π, the coercivity constant μ0 defined below (2.37) is actually μ0 = (π/16)(32−3λ0) for λ0<32/3 (the minimum is attained at ℓ=2). The argument requires ∥h∥_{C^2}<δ with Cδ ≤ μ0/2, so δ must be ≤ C^{-1}μ0 = O(32/3−λ0). Since λ0 depends on |D| and condition (1.14) only imposes λ0<32/3, a drop with area arbitrarily close to the threshold forces μ0→0 and hence δ→0. Thus no single δ depending only on α0,σ0 can cover all admissible areas. The theorem should be amended, e.g., by requiring λ0 ≤ 32/3 − η and taking δ=δ(α0,σ0,η), or by letting δ depend on λ0.","section":"Theorem 1.1 and eq. (2.39)"},{"comment":"The proof is not self-contained at load-bearing points. Identity (1.15) is the starting point of the Taylor analysis, and Lemma 2.1 supplies the high-order regularity used in the interpolation step (2.41). Both are imported from the companion preprint [4], and Lemma 2.3 uses the analyticity result of preprint [2]. Since these are cited as preprints, the present paper does not establish the foundation of Theorem 1.1 on its own. The authors should either include the necessary statements/proofs or clarify that the result is conditional on [2] and [4].","section":"Identity (1.15) and Lemma 2.1"}],"minor_comments":[{"comment":"The phrase 'we show that a rigidity result holds also above the threshold' should be qualified: the result requires near-circularity and a barycenter normalization; without this, the abstract could suggest a fully global result.","section":"Abstract"},{"comment":"The expression g'(0) = ∇_{S^1}h/2 + (Gh)−h/2 x is ambiguous; parentheses would help, e.g., g'(0) = (1/2)∇_{S^1}h + ((Gh)−h)/2 x.","section":"Eq. (2.10)"},{"comment":"'hil. Mag.' should read 'Phil. Mag.'.","section":"Reference [20]"},{"comment":"'We denote G(h)ψ the Dirichlet-Neumann operator' should read 'We denote by G(h)ψ the Dirichlet-Neumann operator'.","section":"Lemma 2.2"},{"comment":"The term 'spherical harmonics' for eigenfunctions on S^1 is unconventional; 'trigonometric polynomials' or 'Fourier basis' would be clearer.","section":"Section 2, after (2.37)"}],"recommendation":"major_revision","confidential_remarks":"The uniformity flaw is easily repairable by a minor change in the statement of Theorem 1.1, but as written the theorem is too strong. The reliance on [4] and [2] is heavy; if those preprints are not accepted, the paper's claims are questionable. The remaining analysis appears careful and correct."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a legitimate perturbation result that pushes the rigidity threshold for nearly circular capillary drops from λ0 < √2/2 to λ0 < 32/3, and the mechanism is transparent. The one real problem is the uniformity claim for δ: as written, Theorem 1.1 says δ depends only on α0 and σ0, but the proof forces δ ≤ c(32/3 − λ0), and λ0 can approach 32/3 for fixed α0, σ0 by varying |D|. So the statement overclaims. The fix is to put in an explicit gap λ0 ≤ 32/3 − η and let δ depend on η.\n\nWhat's new: the second-order expansion of the functional C = A + λ0 B around the unit disc, the explicit diagonalization giving positive coefficients for all modes ℓ ≥ 2 when λ0 < 32/3, and the handling of the ℓ=0,1 modes through area and barycenter constraints. The Taylor lemmas are detailed and the logic from expansion to coercivity to rigidity is sound. The authors are also honest that the starting identity (1.15), the regularity bootstrap, and analyticity come from their companion preprints [2] and [4]. That is a self-citation burden but not a circularity: the cited results do the heavy lifting, and this paper's contribution is the expansion and the positivity argument.\n\nSoft spots: the δ-uniformity issue above is the only serious one I see. It doesn't sink the method but it does mean Theorem 1.1 as stated is not fully supported. A second, minor point: the proof leans on [4] for smoothness of the boundary, stated as Lemma 2.1 with a brief proof sketch. A referee will want to check that the bootstrap actually gives the C6 control with a constant independent of the particular solution in the δ-neighborhood. Probably fine, but it deserves a look. The lengthy algebraic expansions in Lemmas 2.5–2.8 are not machine-checked; I didn't spot an error, but a referee should verify a few of those integrations.\n\nWho this is for: people working on free-boundary Euler equations with vorticity, symmetry/rigidity problems, or shape perturbation for overdetermined problems. It deserves a serious referee, and the main result is likely correct after the uniformity repair.","headline":"Rigidity threshold extension for near-circular constant-vorticity drops is real, but Theorem 1.1 overclaims δ-uniformity; add an η-gap and it's solid.","tokens_in":15027,"tokens_out":3850,"would_cite":true,"duration_ms":33241,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35R35","76B45","35B06","35N25"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that any steady rotating capillary drop whose equatorial section is C²-close to a disc must be an oblate spheroid rotating as a solid body, provided the vorticity–capillarity–size parameter stays below 64/3.","keywords":["capillary liquid drop","constant vorticity","free boundary problem","rigidity","shape functionals","Dirichlet–Neumann operator","nearly circular domain","Taylor expansion"],"falsifier":"Compute the functional C=A+λ0B for a family of area-π domains with small elliptic perturbation, e.g., h=ε cos(2θ) with ε≪1. If C vanishes for some ε≠0 and λ0<32/3, the theorem is false; a numerical evaluation of the four boundary integrals defining A and B for ellipses of various eccentricities would settle this.","tokens_in":13988,"feed_emoji":"💧","tokens_out":11844,"duration_ms":102146,"temperature":0.7,"pith_summary":"The paper proves a rigidity theorem for steady three-dimensional capillary liquid drops with constant vorticity. If the drop's equatorial section is C²-close to a disc and the parameter α0²/σ0 (|D|/π)^{3/2} is below 64/3, then the drop must be an oblate spheroid and the flow must be uniform rotation about the vertical axis. This greatly widens the range where rigidity was known: an earlier variational proof only covered the threshold √2, and the new perturbation argument reaches a value about fifteen times larger. The proof expands a shape functional that vanishes on every solution, shows its quadratic part is positive on all nonconstant Fourier modes precisely in this parameter range, and controls the cubic remainder by regularity bootstrapping. If the theorem holds, it rules out all non-axisymmetric steady drops in a C²-neighborhood of the disc below this threshold.","feed_headline":"Proved: nearly round rotating drops are oblate spheroids","feed_subtitle":"Perturbation analysis extends the rigidity threshold from √2 to 64/3, a fifteenfold gain.","key_machinery":"Two ingredients carry the proof. First, an identity from the companion paper [4], σ0A(D)+(α0²/2)B(D)=0, where A and B are boundary integrals of the torsion function; after rescaling D to area π this becomes C=A+λ0B=0 with λ0=α0²/(2σ0)(|D|/π)^{3/2}. Second, the Dirichlet–Neumann operator of the nearly circular domain gives an analytic expansion of the boundary gradient of the torsion function; its second-order Taylor term in spherical-harmonic coefficients is, up to a constant, Σ_{ℓ≥2}ℓ(ℓ−1)(ℓ+2−3λ0/8)h²_{ℓ,m}. These coefficients are all positive exactly when λ0<32/3, and a bootstrap regularity lemma (also from [4]) bounds the cubic remainder by a small multiple of the quadratic term, forcing","core_discovery":"The central claim is Theorem 1.1: for any α0,σ0>0 there exists δ>0 such that every C² steady solution of the free-boundary Euler equations with constant vorticity, whose equatorial section D has barycenter at the origin and whose boundary is the graph of h over the unit circle with ∥h∥_{C²}<δ, is rigid whenever α0²/σ0 (|D|/π)^{3/2}<64/3. Rigid here means D is a disc, the drop is the oblate spheroid with profile (1.4),(1.11), flattened at the poles and bulging at the equator, and the velocity is u=½α0(−x2,x1,0). The previous rigidity threshold from variational methods was α0²/σ0 (|D|/π)^{3/2}<√2; the new result extends rigidity up to 64/3, a roughly fifteenfold increase, for nearly circular s","pith_inferences":["The theorem's δ is claimed to depend only on α0 and σ0, but the proof requires δ to be comparable to the coercivity constant µ0(λ0), which shrinks to zero as λ0→32/3; therefore the uniformity of δ over all domains satisfying (1.14) is not established by the argument.","At λ0=32/3 the quadratic term vanishes at mode ℓ=2, so one expects a bifurcation of ellipsoidal drops; computing the fourth-order term of C near the disc would test whether such solutions exist and whether the threshold is sharp.","The Taylor-expansion-plus-coercivity scheme generalizes: any overdetermined problem that can be written as a functional identity with a positive quadratic part on high modes and a controlled remainder admits the same rigidity argument, so the method may apply to other free-boundary symmetry problems."],"forward_implications":["If Theorem 1.1 is correct, no steady non-axisymmetric rotating drop with a nearly circular equatorial section exists for α0²/σ0 (|D|/π)^{3/2}<64/3; the only possible shape is the oblate spheroid.","The previous variational threshold √2 is not optimal; the new perturbation threshold 64/3 is a genuine improvement for C²-nearly-circular sections.","At the boundary value 64/3, the quadratic form degenerates on the ℓ=2 Fourier mode, so the method identifies the natural place where non-circular solutions might first appear.","The proof gives an explicit positive lower bound on the quadratic form in H^{3/2}, yielding a quantitative estimate of how far a nearly circular solution must be from the disc if it is not a solution."],"fun_headline_variants":["Near-circular rotating drops forced into oblate spheroids","Rigidity threshold for rotating drops jumped 15-fold","Rotating drops close to circle must be oblate spheroids","New proof: rotating drops stay rigid up to 64/3 threshold","Oblate spheroids inevitable for nearly round rotating drops"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The proof depends on two results imported from the authors' companion paper [4] — the overdetermined identity (1.15) and the bootstrap estimate ∥h∥_{C⁶}≤C∥h∥_{C²} (Lemma 2.1) — and if either fails for C² solutions in the enlarged parameter range, the rigidity conclusion has no foundation.","fun_headline_variants_meta":{"raw":{"variants":["Near-circular rotating drops forced into oblate spheroids","Rigidity threshold for rotating drops jumped 15-fold","Rotating drops close to circle must be oblate spheroids","New proof: rotating drops stay rigid up to 64/3 threshold","Oblate spheroids inevitable for nearly round rotating drops"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000378,"raw_usage":{"total_tokens":1841,"prompt_tokens":734,"completion_tokens":1107,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":478,"completion_tokens_details":{"reasoning_tokens":1029}},"tokens_in":478,"tokens_out":1107,"duration_ms":12560,"temperature":1.0,"reasoning_tokens":1029,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T16:49:36.151191+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the functional C=A+λ0B for a family of area-π domains with small elliptic perturbation, e.g., h=ε cos(2θ) with ε≪1. If C vanishes for some ε≠0 and λ0<32/3, the theorem is false; a numerical evaluation of the four boundary integrals defining A and B for ellipses of various eccentricities would settle this.","supporting_citations":[],"review_version":1}