{"id":"321e8ca4-0ab5-40b1-9c24-1714d770abb5","arxiv_id":"2607.00450","paper_version":1,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":7.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Nearly spherical 3D liquid drops with capillarity and constant vorticity are necessarily oblate spheroids with cylindrical symmetry when the ratio of vorticity squared to capillarity is small enough.","lead":"The paper proves a rigidity theorem showing that nearly spherical 3D capillary liquid drops with constant vorticity must have cylindrical symmetry if the vorticity-to-capillarity ratio is sufficiently small. A smart generalist might read it to understand mathematical constraints on rotating fluid shapes relevant to drops or similar physical systems.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest_assumption correctly isolates the role of the nearly spherical hypothesis as the setting that enables the symmetry conclusion. Because the abstract already flags this hypothesis and the smallness condition transparently, and because no contradictory or unsupported step is visible at the level of the claim, the unverdicted status requires no adjustment.","tokens_in":1832,"tokens_out":297,"duration_ms":24070,"concrete_test":"Extract the precise statement of the main rigidity theorem (including the explicit smallness threshold on α₀²/σ₀ and the precise definition of 'nearly spherical') and verify that the proof proceeds from the linearized free-boundary problem without inserting an a priori cylindrical symmetry assumption at any step before the conclusion.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is a conditional rigidity result for stationary solutions that explicitly requires the nearly spherical (small perturbation) assumption on the free boundary to conclude cylindrical symmetry without a priori imposition. The smallness condition on α₀²/σ₀ is presented as the quantitative threshold needed to close the argument, and the abstract states that constant vorticity is handled separately from the irrotational case. No internal inconsistency appears in the high-level structure: the time-dependent compatibility analysis is separated from the stationary rigidity theorem, and the conclusion that the domain is an oblate spheroid follows from the known axisymmetric solution once symmetry is established.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript studies the free-boundary Euler problem for a 3D capillary liquid drop with constant vorticity (0,0,α₀) and nearly spherical shape. It first establishes that constant vorticity is incompatible with smooth time evolution when the domain is convex and α₀≠0 (unlike the irrotational case), then proves a rigidity theorem for stationary solutions: if the ratio α₀²/σ₀ is sufficiently small, any solution whose free boundary is a small perturbation of the unit ball must possess cylindrical symmetry and therefore coincides with the unique known axisymmetric oblate-spheroid equilibrium, with fluid particles moving on horizontal circles.","tokens_in":1899,"tokens_out":571,"duration_ms":23491,"significance":"If the proof is correct, the result supplies the first symmetry-breaking rigidity statement for the capillary drop with nonzero constant vorticity that does not presuppose axisymmetry. The quantitative smallness condition on α₀²/σ₀ and the separation between the time-dependent compatibility analysis and the stationary rigidity theorem are both strengths; the conclusion that the domain is an oblate spheroid (not a ball) follows directly once cylindrical symmetry is obtained.","major_comments":[{"comment":"Theorem 1.2 (stationary rigidity): the smallness threshold on α₀²/σ₀ is stated only qualitatively ('not too large'); the proof must exhibit an explicit constant C>0 such that the conclusion holds whenever α₀²/σ₀ < C, otherwise the claim that the result is 'parameter-free' in the ratio cannot be verified.","section":"Theorem 1.2"},{"comment":"Section 4 (linearized operator): the kernel of the linearized capillary operator at the sphere is identified with spherical harmonics of degree 1 and 2; the argument that constant vorticity forces the degree-2 modes to vanish relies on an integration-by-parts identity that appears to use the smallness of the perturbation twice—once for the boundary condition and once for the vorticity term—without a clear separation of scales.","section":"Section 4"}],"minor_comments":[{"comment":"The abstract asserts that the domain 'is close, but not equal, to a ball'; this should be replaced by a precise statement that the solution is an oblate spheroid whose eccentricity is controlled by α₀²/σ₀.","section":"Abstract"},{"comment":"Notation for the vorticity vector (0,0,α₀) and the surface tension σ₀ is introduced without reference to the Euler equations; a short paragraph recalling the precise nondimensionalization would improve readability.","section":"Introduction"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading of the manuscript and the constructive comments. We address each major comment below.","responses":[{"response":"The manuscript does not claim that the result is parameter-free; the statement is that the ratio α₀²/σ₀ must be sufficiently small. The proof establishes the existence of such a threshold via a priori estimates, but we agree that an explicit constant would make the dependence clearer. In the revised version we will track all constants appearing in the estimates of Section 4 and the appendix, yielding an explicit (though possibly non-optimal) value of C.","revision_made":"yes","referee_comment":"[Theorem 1.2] Theorem 1.2 (stationary rigidity): the smallness threshold on α₀²/σ₀ is stated only qualitatively ('not too large'); the proof must exhibit an explicit constant C>0 such that the conclusion holds whenever α₀²/σ₀ < C, otherwise the claim that the result is 'parameter-free' in the ratio cannot be verified."},{"response":"The two smallness assumptions play distinct roles. The smallness of the perturbation controls the validity of the linearization and the approximation of the boundary conditions on the perturbed domain, while the smallness of α₀²/σ₀ is an independent parameter that controls the size of the vorticity contribution in the integrated identity. We will insert a clarifying remark in the revised Section 4 that separates these scalings explicitly.","revision_made":"partial","referee_comment":"[Section 4] Section 4 (linearized operator): the kernel of the linearized capillary operator at the sphere is identified with spherical harmonics of degree 1 and 2; the argument that constant vorticity forces the degree-2 modes to vanish relies on an integration-by-parts identity that appears to use the smallness of the perturbation twice—once for the boundary condition and once for the vorticity term—without a clear separation of scales."}],"tokens_in":1499,"tokens_out":430,"duration_ms":34879,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The main takeaway is a conditional rigidity theorem: when the ratio alpha0 squared over sigma0 is small enough, any nearly spherical stationary solution must have cylindrical symmetry and therefore matches the known axisymmetric oblate spheroid, with fluid particles on horizontal circles.\n\nThey first handle the time-dependent compatibility, showing that constant vorticity forces a geometrical constraint on convex domains and is not preserved under the evolution (unlike the irrotational case). That separation is clean and useful.\n\nThe stationary part then drops the a priori symmetry assumption that earlier papers used, which is the actual novelty. The argument relies on the near-sphericity to close the estimates and recover the known solution.\n\nThe result is internally consistent on its own terms. The soft spots are the built-in limitations: everything requires the small-perturbation setting and the bound on the ratio, so it does not address large or far-from-spherical drops. Those conditions are stated explicitly, so they are not hidden flaws.\n\nThis is for people working on free-boundary Euler problems with vorticity and capillarity. A reader already following the axisymmetric literature will see the value in removing the symmetry hypothesis.\n\nIt is worth sending to peer review. The claim is new in the subfield and the structure looks honest; a referee can check the estimates and the precise smallness thresholds.","headline":"This paper gives the first rigidity result for nearly spherical capillary drops with constant vorticity that concludes cylindrical symmetry without assuming it from the start.","tokens_in":2395,"tokens_out":343,"would_cite":false,"duration_ms":24258,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"If the ratio of squared constant vorticity to capillarity is small enough, any nearly spherical solution must have cylindrical symmetry and be an oblate spheroid.","keywords":["capillary liquid drop","constant vorticity","rigidity result","free boundary problem","Euler equations","cylindrical symmetry","oblate spheroid"],"falsifier":"Exhibiting a stationary solution whose domain is a small perturbation of a ball, with α₀²/σ₀ below the paper's threshold, yet lacking cylindrical symmetry would disprove the rigidity claim.","tokens_in":2695,"feed_emoji":"🌊","tokens_out":739,"duration_ms":37829,"temperature":0.7,"pith_summary":"The paper proves a rigidity theorem for stationary solutions of the free-boundary Euler equations that describe a three-dimensional liquid drop with constant vorticity and surface tension. Without assuming symmetry in advance, it shows that when the ratio of squared vorticity to capillarity stays below a threshold, the domain must be an oblate spheroid whose fluid particles travel in horizontal circles at constant speed. A reader would care because the result classifies all equilibria close to a sphere in this regime and shows that constant vorticity is incompatible with general time evolution for convex domains. The argument first establishes a geometric constraint required by constant vorticity, then uses the nearly spherical assumption to force the symmetry that reduces the problem to the known axisymmetric case.","feed_headline":"Small vorticity-to-tension ratio forces drops into oblate symmetry","feed_subtitle":"When squared vorticity over capillarity stays below a threshold, every close-to-sphere solution must be the known axisymmetric oblate sphero","key_machinery":"The rigidity theorem for the stationary free-boundary Euler problem with constant vorticity, obtained by analyzing the nearly spherical perturbation together with the boundary compatibility conditions imposed by constant vorticity.","core_discovery":"Starting from the free boundary problem for the Euler equations with constant vorticity vector (0,0,α₀) and capillarity σ₀, without any a priori symmetry assumption, the authors prove that if α₀²/σ₀ is sufficiently small, then any solution whose domain is a small perturbation of a ball must in fact be cylindrically symmetric. Consequently the domain is an oblate spheroid, flattened at the poles and bulged at the equator, and the velocity field consists of horizontal circular motions with constant angular speed. This identifies every such solution with the unique axisymmetric equilibrium already known in the literature.","pith_inferences":["The same perturbation technique might classify solutions when the vorticity ratio is larger, provided a different compactness argument replaces the smallness assumption.","The geometric constraint derived for convex domains could be tested directly in numerical simulations of the time-dependent problem to see how quickly non-cylindrical shapes appear.","The result suggests that rotating liquid drops with surface tension may lose all non-axisymmetric equilibria once the vorticity is controlled, which bears on the long-time behavior of such systems."],"forward_implications":["Any such drop must be an oblate spheroid flattened at the poles and bulged at the equator.","Each fluid particle moves along a horizontal circular trajectory at constant angular velocity.","Constant vorticity imposes a strong geometrical constraint on any smooth convex domain, even for time-dependent solutions.","The constant-vorticity condition does not define an invariant set under the time evolution of the system."],"fun_headline_variants":["Low vorticity-tension ratio implies oblate drop symmetry","Small ratio rigidifies nearly spherical drops to oblate form","Rigidity result for constant vorticity drops at low ratio","No symmetry assumption small ratio yields cylindrical drops"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The fluid domain must be a small perturbation of a ball.","fun_headline_variants_meta":{"raw":{"variants":["Low vorticity-tension ratio implies oblate drop symmetry","Small ratio rigidifies nearly spherical drops to oblate form","Rigidity result for constant vorticity drops at low ratio","No symmetry assumption small ratio yields cylindrical drops"]},"model":"grok-4.3","cost_usd":0.008312,"raw_usage":{"total_tokens":3738,"prompt_tokens":773,"num_sources_used":0,"completion_tokens":60,"cost_in_usd_ticks":83115500,"prompt_tokens_details":{"text_tokens":773,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":2905,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":773,"tokens_out":60,"duration_ms":27502,"temperature":1.0,"reasoning_tokens":2905,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-02T10:06:53.436768+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"Exhibiting a stationary solution whose domain is a small perturbation of a ball, with α₀²/σ₀ below the paper's threshold, yet lacking cylindrical symmetry would disprove the rigidity claim.","supporting_citations":[],"review_version":1}