{"id":"0d466703-a41d-4ace-908a-292180359e28","arxiv_id":"2607.16490","paper_version":1,"verdict":"REJECT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Three-vortex collapse is self-similar on the plane and sphere, absent on the hyperbolic plane for any analytic distance, but nearly self-similar collapse exists on arbitrary smooth surfaces.","lead":"This paper studies whether three point vortices—idealized swirling fluid particles—can collide to a point on curved surfaces, as they do on flat ones. It reports that such collisions are self-similar on the plane and sphere, impossible on the hyperbolic plane, and nearly self-similar on any smooth surface.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 1.3 rests on Lemma 4.1, but the surface remainder E_i(ζ) is a three-body term, not a common velocity field f(t,z_j), and only a C^0 bound is shown; the E_T-norm hypotheses of the persistence theorem are never verified.","rationale":"Both main results are affected by proof gaps, but the most load-bearing is Theorem 1.3's dependence on Lemma 4.1. The reader identified exactly this weak spot. The paper's own Lemma 4.3 gives only a C^0 bound and an error depending on all vortices; the persistence theorem [23] is stated for common-field perturbations, and no extension is provided. This is not merely a cosmetic mismatch: Lemma 4.1's C^2 and Lipschitz regularity are essential to the persistence argument, and the Cauchy-type singular terms make the missing estimates nontrivial. A direct computation on S^2 could falsify the 'common field' representation. If this check fails, Theorem 1.3 is unproved as written; if it passes, the proof must be rewritten with a generalized persistence statement. The hyperbolic-plane no-go theorem appears more robust, but the central existence claim for arbitrary surfaces is not established by the submitted argument.","tokens_in":15024,"tokens_out":6051,"duration_ms":55649,"concrete_test":"For a concrete surface, e.g. S^2 with its exact equations (14), compute the rescaled error f_i(ξ)=εE_i(εξ) in normal coordinates for two configurations with the same ξ_i but different ξ_k; if E_i differs, no common field f(t,ξ_i) exists, so Lemma 4.1 cannot be applied directly. Independently, derive a C^2 and Lipschitz-in-time estimate for f_i along the self-similar profile ξ*; if the E_T norm fails to vanish as ε→0, Theorem 1.3's proof collapses. Either check settles the applicability.","verdict_should_be":"REJECT","load_bearing_attack":"Theorem 1.3 is proved by rescaling the local surface equations (26) into (27), where the perturbation is f_i(ξ)=εE_i(εξ). Lemma 4.1 (Grotto–Pappalettera) applies only to perturbations of the form f(t,z_j), a single vector field evaluated at each vortex. The error E_i in Lemma 4.3 depends on all three ζ coordinates, not only ζ_i: in particular the terms Σ_{j≠i} (|ζ_i|+|ζ_j|+|ζ_i−ζ_j|) and the singular terms |ζ_i|/|ζ_i−ζ_j| involve the other two vortices. No argument is given that E_i can be represented as a common f(ζ_i), nor is any generalization of Lemma 4.1 to three-body perturbations provided. In addition, Lemma 4.3 only bounds |E_i| pointwise; Lemma 4.1 requires f∈E_T with sup_t ∥f_t∥_{C^2} + [f]_Lip. The proof merely asserts ∥f_i∥_{E_T}→0, but the necessary derivative estimates in C^2 and in time are not derived—the error contains ratios 1/|ζ_i−ζ_j| whose derivatives blow up near collision in a way not controlled by the C^0 bound. Thus the central existence proof does not satisfy the hypotheses of the persistence theorem it invokes.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies finite-time collapse of three point vortices on surfaces. It claims: (i) on the plane and sphere every collapsing configuration is self-similar (with respect to Euclidean distance in the planar case and chord length on the sphere); (ii) on the hyperbolic plane no self-similar collapse exists with respect to any distance variable given by an analytic function of the geodesic distance; and (iii) on an arbitrary smooth surface embedded in R^3 there exist initial configurations that collapse in finite time in an asymptotically self-similar fashion. The proofs use conserved quantities and the planar argument for (i), power-series/Vandermonde arguments for (ii), and a local normal-coordinate expansion combined with a persistence theorem of Grotto–Pappalettera for (iii).","tokens_in":15420,"tokens_out":9774,"duration_ms":88726,"significance":"The hyperbolic-plane no-go result is a clean and interesting contrast to the plane and sphere, and the analytic-function generalization is a nice touch. If the existence theorem (Theorem 1.3) were correct, it would be a valuable robustness statement: curvature does not destroy collapse, and the collapse is nearly self-similar. The paper is clearly written and contains no fitted parameters or circular reasoning; the constant-curvature arguments are largely explicit and checkable. However, the proof of the main existence theorem has serious gaps: the persistence lemma is applied to a perturbation that is not of the form it handles, and the required norm estimates are not established. These gaps are load-bearing, so the paper cannot be accepted in its current form.","major_comments":[{"comment":"Lemma 4.1 applies to perturbations of the form f(t,z_j), a single vector field evaluated at each vortex. In the rescaled equations (27), the perturbation is f_i(ξ)=εE_i(εξ), where E_i from Lemma 4.3 depends on all three positions: it contains Σ_{j≠i}(|ζ_i|+|ζ_j|+|ζ_i−ζ_j|) and |ζ_i|/|ζ_i−ζ_j|. No argument shows this three-body remainder can be represented as a common f, and no generalization of Lemma 4.1 to such perturbations is given. Since Theorem 1.3 is proved entirely through this step, the existence claim is unsupported.","section":"§4, Lemma 4.1 and Eq. (27)"},{"comment":"The assertion is not justified. Lemma 4.3 only yields the pointwise bound |E_i|≤C; it provides no C^2 estimates or time-Lipschitz control. The remainder contains 1/|ζ_i−ζ_j|, whose derivatives blow up near collision; the rescaled C^2 norm is O(ε) only if uniform derivative bounds on E_i are established, which they are not. Thus the hypotheses of Lemma 4.1 (f∈E_T with finite norm) are never verified.","section":"§4, proof of Theorem 1.3, 'Since ∥f_i∥_ET→0'"},{"comment":"Even if f_i were admissible, the quoted lemma ensures existence of a solution with z→0 and certain Hölder bounds; it does not assert that the solution stays close to the specific planar self-similar trajectory ξ* used to define the nondegeneracy region C_κ. The proof says 'by taking the perturbed solution sufficiently close to ξ*' but that closeness is not a stated consequence of Lemma 4.1. The asymptotic self-similarity check in (28) therefore lacks a rigorous basis.","section":"§4, Lemma 4.1 vs. use"},{"comment":"The theorem is stated for embedded surfaces, but Remark 1.4 claims extensions to higher genus and to surfaces with boundary solely because the irrotational part 'will be perturbative.' No proof is given, and in the present proof even the genus-zero embedded case has the gaps above. These extensions should be either proved or removed from the claims.","section":"Remark 1.4 / §2.2"}],"minor_comments":[{"comment":"The proof is labeled a sketch; since it underpins half of Theorem 1.1, it should either be expanded or cite the precise Kidambi–Newton theorem showing that collapse implies self-similarity.","section":"Lemma 3.1"},{"comment":"The power series for λ^2 x/(1−λ^2 x) is used; the condition |λ^2 ρ^2|<1 should be stated explicitly.","section":"Prop. 3.5"},{"comment":"There is a typo 'Prof. 3.5'; also the coefficients c_n and b_n should be defined with their domains of validity.","section":"Prop. 3.6"},{"comment":"The norm mixes C^2 and Lipschitz seminorms; the notation [f]_Lip should specify whether it is a spatial or temporal Lipschitz constant, and the space should be defined precisely.","section":"§4, definition of E_T"},{"comment":"'Minokowski' is a typo for 'Minkowski'.","section":"Remark 3.7"},{"comment":"The formula for dℓ^2_ij/dt contains undefined quantities (V, R?) and a likely typo in the denominators; it is not used later but should be cleaned.","section":"Eq. (15)"}],"recommendation":"reject","confidential_remarks":"The hyperbolic-plane result is a solid, self-contained contribution and could form the basis of a publishable paper. However, the existence theorem (Theorem 1.3) is not proved: the persistence lemma is misapplied to a three-body state-dependent perturbation, and the required E_T estimates are absent. This is a central claim, so I cannot recommend publication in the current form. The authors should be encouraged to either supply a genuine persistence theorem for such perturbations or reframe the paper around the constant-curvature results."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The part worth remembering: the authors show that self-similar collapse on the plane and sphere is classical, and they extend the obstruction to the hyperbolic plane in a genuinely new way. Proposition 3.6, ruling out self-similar collapse with respect to any analytic function of geodesic distance, is a real contribution and the argument—power-series comparing the conserved Hamiltonian and angular-momentum quantities—looks sound. The paper is clearly written and the authors are honest about the subtleties of the hyperbolic Green's function and the harmonic-flow caveat.\n\nThe problem is Theorem 1.3. The proof hinges on Lemma 4.1, the Grotto–Pappalettera persistence theorem. As stated, that lemma applies to perturbations of the form f(t, z_j), a single vector field evaluated at each vortex. The surface error E_i in equation (26) depends on all three vortex positions, not just ζ_i. Writing f_i(ξ) = ε E_i(εξ) puts the perturbation in a three-body form, but no argument shows that Lemma 4.1 extends to such terms, and the paper does not provide one. That alone is a load-bearing gap.\n\nThere is a second gap, just as serious. Lemma 4.1 requires f ∈ E_T with sup_t ‖f_t‖_{C²} + [f]_Lip finite and tending to zero. The paper only proves a pointwise C⁰ bound on E_i, |E_i| ≤ C. The E_T norm includes C² derivatives, and those derivatives involve ratios like |ζ_i|/|ζ_i−ζ_j| whose gradients blow up near collision. The proof simply asserts ‖f_i‖_{E_T} → 0 without deriving the needed estimates. So even if the persistence theorem could be stretched to three-body perturbations, the hypotheses are not verified.\n\nI want to stress that these are technical holes in the proof, not evidence that the theorem is false. The idea that planar collapse is structurally stable under small surface perturbations is plausible, and a more careful treatment—either a generalized persistence argument or a direct Ruelle–Takens-style contraction estimate—might well close the gap. But as submitted, the existence of collapsing configurations on arbitrary surfaces is not established. The hyperbolic-plane result, in contrast, appears solid and could stand alone.\n\nThis paper deserves a serious referee, not a desk reject, because the hyperbolic result is new and the persistence issue is repairable. A referee should insist on a rewritten proof of Theorem 1.3 that either derives the E_T bound for the three-body term or reduces it to the common-field setting, or explicitly downgrades the claim to a conjecture.","headline":"The hyperbolic-plane no-go result is fresh and likely right, but Theorem 1.3's existence proof does not meet the hypotheses of the persistence theorem it cites; as written, the paper does not establish its central universality claim.","tokens_in":15854,"tokens_out":3081,"would_cite":false,"duration_ms":51806,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["76B47"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper shows that three-vortex collapse is self-similar on the plane and sphere, impossible on the hyperbolic plane, and asymptotically self-similar on arbitrary smooth surfaces.","keywords":["point vortices","finite-time collapse","self-similar collapse","curved surfaces","hyperbolic plane","sphere","Green's function","asymptotically self-similar"],"falsifier":"Integrate the three-vortex equations on the hyperbolic plane numerically for circulations satisfying the planar collapse conditions and a non-equilateral initial triangle. If a trajectory collapses with each side shrinking by a common factor in any analytic function of geodesic distance, Theorem 1.1 is false; conversely, computing the surface error term E_i exactly would show whether it can be written as a common field f(t, zeta_i), which is the condition the persistence theorem requires.","tokens_in":14955,"feed_emoji":"🌪️","tokens_out":6782,"duration_ms":56422,"temperature":0.7,"pith_summary":"The paper asks whether the classical planar phenomenon of three-vortex finite-time collapse — the three vortices merging at a point — survives on curved surfaces, and in what form. On the plane and the sphere it proves that every collapsing configuration is self-similar: the vortex triangle shrinks with a single common scale factor. On the hyperbolic plane it proves the opposite: no collapsing configuration can be self-similar with respect to any distance that is an analytic function of geodesic distance. On an arbitrary smooth surface embedded in R^3 it proves that collapsing configurations nevertheless exist, starting arbitrarily close to any point, and that the collapse becomes asymptotically self-similar as it proceeds. The net message is that the sign of curvature, not integrability, controls whether exact self-similar collapse exists.","feed_headline":"Vortex collapse: plane and sphere yes, hyperbolic plane no","feed_subtitle":"Sphere and plane force all three vortex distances to shrink in lockstep; hyperbolic geometry blocks that.","key_machinery":"The argument runs through the conserved shape invariant L = sum_{i<j} Gamma_i Gamma_j l_ij^2 (plane and spherical chord lengths) and its hyperbolic analogue sum_{i<j} Gamma_i Gamma_j rho_ij^2/(1-rho_ij^2), together with the Hamiltonian written in the corresponding Green's-function variables. On the plane and sphere both conserved quantities depend on the same distance variable, so the scale factor separates and collapse is forced to be self-similar. On the hyperbolic plane the Hamiltonian depends on rho while L has an extra 1/(1-rho^2) factor, generating infinitely many shape constraints that can only be satisfied by an equilibrium. For general surfaces, normal coordinates and a perturbation","core_discovery":"The central discovery is a curvature dichotomy. For the three-vortex problem, collapse in the plane is forced to be self-similar because the conserved shape invariant L and the Hamiltonian depend on the same distance variable, Euclidean length; the same argument carries through on the sphere when expressed in chord length, so every spherical collapse is self-similar in chord length, though not in geodesic length. On the hyperbolic plane the analogous conservation laws involve the pseudohyperbolic distance rho and an extra factor 1/(1-rho^2), and the paper shows that requiring both to be constant during a self-similar shrinking forces infinitely many independent shape constraints that can onl","pith_inferences":["If the perturbation-theorem gap is repaired, a natural conjecture is that on any two-dimensional Riemannian surface, finite-time collapse of three vortices is always asymptotically self-similar with a single decay rate; the paper's proof already shows this locally.","The hyperbolic obstruction suggests that on surfaces with negative curvature more generally, exact self-similar collapse may fail whenever the Green's function and the momentum invariant depend on incompatible distance variables; this could be tested for other negatively curved geometries.","The proof's rescaling tau = t/epsilon^2 implies the collapse time scales like epsilon^2 with initial size, so a numerical or experimental measurement of collapse time versus initial separation would directly test the perturbative persistence mechanism."],"forward_implications":["On the plane or sphere, a finite-time collapse cannot occur in any other way: the vortex triangle must shrink uniformly, so observing the three chord lengths decay at a common rate is a necessary signature of collapse there.","On the hyperbolic plane, the absence is absolute for any analytic distance function, so any proposed self-similar collapse in a cleverly chosen variable would have to use a non-analytic distance.","On any smooth surface embedded in R^3, three-vortex collapse occurs near every point, and in the final approach the dynamics converges to planar self-similar motion.","Spherical collapse is self-similar in chord length but not in geodesic length, so the choice of distance is not cosmetic: it determines whether self-similarity is visible.","The results shift the explanation of self-similar collapse away from integrability, which holds for three vortices everywhere, toward the geometry of the Green's function and the sign of curvature."],"fun_headline_variants":["Curvature decides vortex collapse: plane and sphere yes, hyperbolic no","Vortex collapse: hyperbolic geometry breaks the universal rule","Self-similar vortex collapse only on nonnegative curvature surfaces","Plane and sphere collapse in lockstep; hyperbolic plane resists"],"cache_read_input_tokens":2304,"weakest_assumption_plain":"The load-bearing premise is that the perturbation theorem for common velocity perturbations also applies to the pair-dependent error terms that actually appear in the surface equations; without that extension, the proof of collapse on general surfaces does not go through.","fun_headline_variants_meta":{"raw":{"variants":["Curvature decides vortex collapse: plane and sphere yes, hyperbolic no","Vortex collapse: hyperbolic geometry breaks the universal rule","Self-similar vortex collapse only on nonnegative curvature surfaces","Plane and sphere collapse in lockstep; hyperbolic plane resists"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000581,"raw_usage":{"total_tokens":2530,"prompt_tokens":662,"completion_tokens":1868,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":406,"completion_tokens_details":{"reasoning_tokens":1797}},"tokens_in":406,"tokens_out":1868,"duration_ms":12235,"temperature":1.0,"reasoning_tokens":1797,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-01T20:59:34.361067+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Integrate the three-vortex equations on the hyperbolic plane numerically for circulations satisfying the planar collapse conditions and a non-equilateral initial triangle. If a trajectory collapses with each side shrinking by a common factor in any analytic function of geodesic distance, Theorem 1.1 is false; conversely, computing the surface error term E_i exactly would show whether it can be written as a common field f(t, zeta_i), which is the condition the persistence theorem requires.","supporting_citations":[],"review_version":1}