{"id":"ab75fa53-0347-46eb-bcf9-fe2d2c4f3c82","arxiv_id":"2411.11388","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"The authors construct small vortex patch solutions on the rotating sphere that converge to von Kármán vortex streets and general point vortex equilibria.","lead":"This paper proves that singular point vortex patterns on a rotating sphere can be approximated by small, smooth vortex patches, giving exact Euler flows that collapse to the patterns as the patch size shrinks. It is the first spherical construction of this kind and extends a well-developed planar desingularization program to the geometry of the Earth and gas giants.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Unproved projection identity in Lemma 3.2, with inconsistent circulation indices and Green-function arguments, is the load-bearing gap for Theorem 1.4; the general steady case needs a corrected proof.","rationale":"I agree with the reader's weakest_assumption. Section 2 gives a full Lyapunov–Schmidt proof for the k-fold street, including proofs of the coercive estimate (Lemma 2.2), solvability (Lemma 2.3), nonlinear estimates (Lemma 2.5), and the projection identity (Lemma 2.6). Section 3 is abbreviated: Lemma 3.1 is delegated by analogy, the fixed-point argument is asserted, and Lemma 3.2 is unproved. The central claim of Theorem 1.4 rests on Lemma 3.2 because it is the only step that produces the finite-dimensional system solved near the nondegenerate critical point of K_{j+k}. The inconsistent prefactors and Green-function arguments in the displayed formulas are concrete evidence that the expansion has not been checked carefully. My proposed minimal-case computation would distinguish cosmetic index errors from a substantive algebraic mistake. I therefore do not change the reader's CONDITIONAL verdict; the paper is conditionally acceptable pending proof and correction of Lemma 3.2.","tokens_in":26695,"tokens_out":7337,"duration_ms":84679,"concrete_test":"For the minimal case j=k=1, γ=0, re-derive Lemma 3.2 by repeating the expansion of Lemma 2.4/2.6 with φ=0: compute the X+_{1,ε} and Y+_{1,ε} projection integrals of the residual in (1.8) and verify they equal κ+∂θH(z+,z+) − κ−∂θG(z+,z−) and κ+∂ϕH(z+,z+) − κ−∂ϕG(z+,z−) up to o(1), with matching prefactors. Then confirm that these are the θ- and φ-derivatives of K_2 from (1.7). If the corrected identity does not reproduce ∇K_{j+k}, the finite-dimensional reduction in Theorem 1.4 fails; if it does, Lemma 3.2 still needs a written proof and index cleanup.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The load-bearing gap is Lemma 3.2 (Section 3.2). Theorem 1.4's proof reduces the problem to Λ=0, and Lemma 3.2 is the assertion that the four projection integrals equal the κ-scaled derivatives of the Green and Robin terms entering the Kirchhoff–Routh function (1.7). This step identifies Λ=0 with the critical-point condition and lets the nondegenerate Hessian and the implicit function theorem select z±_{l,ε}. The lemma is stated without proof, and its displayed formulas are not internally consistent: in the X+_{m,ε} identity the prefactor is κ+_m while the sums contain undefined circulation indices κ+_i, κ−_l; in the Y+_{m,ε} identity the prefactor is κ−_m; in the X−_{n,ε} identity the Robin term H is evaluated at z+_{n,ε} rather than z−_{n,ε} and the interaction sums mix z+ and z− arguments. These may be typographical, but since the exact coefficients and Green-function arguments determine the reduced equations, a substantive error would break the Lyapunov–Schmidt reduction and the existence of the corrected centers. As written, Theorem 1.4 lacks a complete proof of its key expansion.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs vortex-patch solutions of the incompressible Euler equation on the unit sphere S^2 that desingularize two families of point-vortex equilibria. Theorem 1.2 treats the k-fold symmetric von Kármán vortex street: for each small ε, the authors build a 2k-patch solution with a traveling angular speed W_ε, whose vorticity converges as measures to the signed sum of Dirac masses at the street locations, and whose patch boundaries are C^1 perturbations of ellipses with radius sqrt(κ/(π ε)) + o(ε). Theorem 1.4 treats a general steady vortex-wave system: near a nondegenerate critical point of the Kirchhoff–Routh function (1.7), j positive and k negative patches with prescribed circulations are constructed, together with a non-localized vorticity contribution 2γ cosθ coming from the sphere rotation. The proofs use a Lyapunov–Schmidt reduction: Section 2 gives a detailed analysis for the street case, while Section 3, on the general steady case, is much more compressed and relies on an unproved projection identity, Lemma 3.2.","tokens_in":26893,"tokens_out":3167,"duration_ms":31461,"significance":"If the results are correct, they provide the first rigorous regularization of singular point-vortex equilibria on S^2 by genuine vortex patches, extending the planar desingularization literature to the spherical geometry. The strength of the paper is Section 2: the Kármán-street construction is carried out in full detail, with explicit coercive estimates (Lemma 2.2), a solvability and contraction argument (Lemmas 2.3 and 2.5), and a complete one-dimensional reduction (Lemma 2.6) that yields an explicit asymptotic formula for the traveling speed. The construction is not circular: the speed W_ε and patch centers are solved from the reduction, not fitted to data, and the Green-function splitting is standard. The main weakness is Section 3: the general steady case is asserted rather than proved, with Lemma 3.1 delegated 'by a similar spirit of Lemma 2.2,' the contraction step asserted in one sentence, and the key projection identity Lemma 3.2 stated without proof and with internally inconsistent formulas.","major_comments":[{"comment":"Lemma 3.2 is the load-bearing projection identity for Theorem 1.4: it converts the vanishing of the projection vector Λ into the finite-dimensional system that, together with nondegeneracy of the Kirchhoff–Routh critical point, should determine the corrected centers z±_{l,ε}. The lemma is stated without proof, and its displayed formulas are internally inconsistent. In the X+_{m,ε} identity the prefactor is κ+_m while the interior sums use undefined indices κ+_i and κ−_l; in the Y+_{m,ε} identity the prefactor is κ−_m instead of κ+_m; in the X−_{n,ε} identity the Robin term H is evaluated at z+_{n,ε} rather than z−_{n,ε}, and the interaction sums mix z+ and z− arguments. These may be typographical, but the exact coefficients and Green-function arguments determine the reduced equations, so a substantive error here would break the existence of the corrected centers. As written, the key expansion needed for Theorem 1.4 is missing and must be supplied and verified.","section":"Section 3.2, Lemma 3.2"},{"comment":"The final step of the proof of Theorem 1.4 is only a claim: 'there exists a proper location series (z+_{1,ε},...,z−_{k,ε}) = (z+_1,...,z−_k) + o_ε(1) such that Λ = 0.' The authors do not write the finite-dimensional system obtained from Lemma 3.2, do not display its Jacobian, and do not show how the nondegenerate Hessian of K_{k+j} and the implicit function theorem yield the corrected locations. Since the whole existence argument for the general steady case rests on this reduction, the proof needs a complete presentation of this step.","section":"Section 3.2, Proof of Theorem 1.4"},{"comment":"The general steady case introduces new difficulties compared to Section 2: the approximate kernel is (2j+2k)-dimensional, the centers z±_{l,ε} are variable, and the cutoff functions and kernels are centered at these moving points. Lemma 3.1 is asserted 'by a similar spirit of Lemma 2.2' without proof, and the existence of the unique fixed point φ_ε for the projected problem is asserted in one sentence rather than proved. These are not cosmetic omissions: the coercive estimate with moving centers and the contraction estimate for the multi-patch nonlinearity are needed to justify the later projection step. The authors should either give the full arguments or state precisely which parts are identical to Section 2 and which require modification.","section":"Section 3.1, Lemmas 3.1 and the contraction argument"}],"minor_comments":[{"comment":"There are several typos in the abstract and introduction: 'Eu ler' for 'Euler', 'close curve' for 'closed curve', and in Theorem 1.2(iii) the type-2 formula contains 'πi/2k' in the H term, which should presumably be 'π/2k'. The chart C2 definition in Section 1.1 also appears to have a missing or erroneous component.","section":"Abstract and Section 1"},{"comment":"The patch-boundary parameterization 'z±_i + [sqrt(κ/π ε)+o(ε)](cos ξ, sin^{-1}θ0 sin ξ)' is ambiguous because the second component is not a coordinate on the sphere in the usual sense; please clarify the meaning of 'sin^{-1}θ0' (whether it is 1/sin θ0) and how this expression relates to the tangent-map coordinates used in Section 2.","section":"Theorem 1.2 and Theorem 1.4, parameterization formulas"},{"comment":"The definition of H(ξ) contains the term '−(W_ε sinθ_0,0)' inside an inner product with a vector field; this is notationally inconsistent with the scalar character of W_ε. Consider rewriting the term as an explicit derivative of W_ε cosθ or as a scalar product with the tangent vector.","section":"Section 2, Lemma 2.4"},{"comment":"In Lemma 3.2, the notation for the level sets and kernels mixes superscripts + and − (for example, 1_{B_δ(z+_m)} appears in the negative X− equation). The authors should systematically use consistent subscripts and superscripts so that each identity can be checked term by term.","section":"Section 3, notation"},{"comment":"The reference to [4] is used for the planar Kármán street result, but the connection between the present spherical construction and the planar one could be stated more explicitly in Section 1.3, especially concerning how the Green-function splitting (1.1) changes the reduced equations.","section":"References"}],"recommendation":"major_revision","confidential_remarks":"The Section 2 result on the Kármán vortex street appears to be a solid and complete contribution, and the paper could be publishable on that basis alone if the authors choose to restrict the claims accordingly. However, Theorem 1.4, as stated, currently lacks a proof of its key projection lemma and of the finite-dimensional reduction. I recommend major revision: the authors should either provide a complete proof of Lemma 3.2 and the implicit-function step, or revise the paper to state the general steady case as a theorem contingent on a verified calculation. The inconsistent circulation indices in Lemma 3.2 should be corrected in any case."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"First, the new thing: this is the first patch-type regularization of point vortex equilibria on S^2. The k-fold von Kármán street result (Theorem 1.2) is a genuine extension of the planar desingularization program, and it is proved in real detail: approximate stream functions from the Green function split, a coercive estimate (Lemma 2.2), contraction mapping (Lemma 2.5), and the one-dimensional speed equation (Lemma 2.6). The limiting speed matches the point vortex formula from Dritschel–Boatto, and there are no fitted constants.\n\nThe soft spot is Section 3. The general steady vortex-wave theorem (Theorem 1.4) rests on Lemma 3.2, which is stated without proof. That lemma is the projection identity converting Λ = 0 into the critical point condition of the Kirchhoff–Routh function. As written, its formulas are internally inconsistent: the Y+ identity carries a κ− prefactor, and the X− identity evaluates H at z+_n,ε instead of z−_n,ε, with sums mixing z+ and z− arguments. These may be typographical, but since the exact coefficients determine the reduced equations, a substantive error would break the construction. Lemma 3.1 is delegated by analogy, the contraction argument in §3.1 is asserted, and the proof of Theorem 1.4 ends with 'we claim' without writing out the implicit function theorem step. That is not a complete proof of the general theorem.\n\nThe overall method is coherent, the citations cover the planar and spherical literature, and I see no circularity. Theorem 1.2 alone is a solid contribution and appears reliable. Theorem 1.4 is plausible but needs a completed Lemma 3.2 with corrected indices, plus a written-out finite-dimensional reduction.\n\nFor readers working on vortex desingularization or point vortex dynamics on surfaces, this is worth time. It deserves a serious referee who will send it back for major revision on Section 3. I would cite the paper for the Kármán street construction, not for the general theorem in its current state.","headline":"First patch regularization on S2; the Kármán street theorem is solid and detailed, but the general steady theorem depends on an unproved, internally inconsistent projection lemma.","tokens_in":27451,"tokens_out":4191,"would_cite":true,"duration_ms":39061,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["76B47","76B03"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper constructs families of small vortex-patch solutions of the incompressible Euler equations on the unit sphere whose vorticity converges, as the patch size tends to zero, to point-vortex equilibria: the von Kármán vortex street…","keywords":["incompressible Euler equations on sphere","vortex patch","point vortex regularization","von Kármán vortex street","Lyapunov–Schmidt reduction","Kirchhoff–Routh function","desingularization"],"falsifier":"Compute the left-hand side of Lemma 3.2 directly for the simplest case $j=k=1$ with two patches of opposite sign near a critical point of $K_2$; if the displayed sums do not reproduce the stated $\\kappa$-weighted derivatives with a true $o_\\varepsilon(1)$ error, then the finite-dimensional system in the proof of Theorem 1.4 has no solution and the locations $z_{m,\\varepsilon}^\\pm$ are not determined.","tokens_in":26440,"feed_emoji":"🌐","tokens_out":7870,"duration_ms":70752,"temperature":0.7,"pith_summary":"The paper aims to show that point-vortex equilibria on the rotating unit sphere are not merely singular idealizations: they are the zero-size limits of genuine solution families of the incompressible Euler equations. It constructs, for each small $\\varepsilon>0$, a vorticity field made of $k$ positive and $k$ negative patches whose stream function solves the patch equation (1.6), with the positive and negative patches located near the vortices of the $k$-fold von Kármán street on $\\mathbb S^2$. As $\\varepsilon\\to 0$, the vorticity converges in the sense of measures to the point-vortex street, and the patch boundaries are $C^1$ curves that shrink like $\\sqrt{\\kappa/(\\pi\\varepsilon)}$. A second theorem extends the construction to a general steady vortex-wave system: $j$ positive and $k$ negative patches placed near a nondegenerate critical point of the Kirchhoff–Routh function, with a background vorticity $2\\gamma\\cos\\theta$ coming from the sphere's rotation. A sympathetic reader would care because this is the first regularization of point-vortex equilibria on $\\mathbb S^2$, connecting the singular point-vortex model to the smooth patch model on a curved geometry.","feed_headline":"Patch vortices on a rotating sphere converge to point-vortex equilibria","feed_subtitle":"New existence proof regularizes von Kármán streets and general steady point vortices as ε-scaled Euler solutions.","key_machinery":"The construction is carried out by Lyapunov–Schmidt reduction. The approximate solution is built from scaled copies of the planar Rankine vortex: near each vortex location $z_i^\\pm$, the stream function is modeled on the Rankine vortex profile, with radius $s_\\varepsilon$ satisfying $s_\\varepsilon=\\sqrt{\\kappa/(\\pi\\varepsilon)}+o(\\varepsilon)$, and the regular part of the Green function is added as a smooth correction. The linearized operator $L_\\varepsilon$ is invertible only modulo an approximate kernel spanned by the $\\theta$- and $\\phi$-derivatives of these Rankine profiles; the projection onto this kernel is eliminated by choosing the traveling speed $W_\\varepsilon$ in the symmetric street case, and by adjusting the $2j+2k$ patch locations in the general steady case. The key identity (Lemma 2.6, and its analogue Lemma 3.2 for the general case) computes the projection of the equation onto the kernel modes as $\\kappa$-weighted derivatives of the Green function and the Kirchhoff–Routh function, turning the degeneracy into a finite-dimensional condition that the implicit function theorem solves.","core_discovery":"On its own terms, the paper establishes Theorem 1.2 and Theorem 1.4. For the von Kármán street (type 1 or type 2, with $0<\\theta_0\\le \\pi/2$), for each sufficiently small $\\varepsilon$ there is a traveling-wave solution $(\\psi_\\varepsilon, W_\\varepsilon)$ of (1.6); the vorticity $\\omega_\\varepsilon=(-\\Delta_{\\mathbb S^2})\\psi_\\varepsilon$ converges in the sense of measures to $\\kappa\\sum_i\\delta_{z_i^+}-\\kappa\\sum_i\\delta_{z_i^-}$, and each patch boundary is a $C^1$ closed curve parameterized as $z_i^\\pm+[\\sqrt{\\kappa/(\\pi\\varepsilon)}+o(\\varepsilon)](\\cos\\xi,\\sin^{-1}\\theta_0\\,\\sin\\xi)$. For the general steady case, for any nondegenerate critical point of the Kirchhoff–Routh function $K_{k+j}$, there is for each small $\\varepsilon$ a solution $\\psi_\\varepsilon$ of (1.8) with $j$ positive and $k$ negative patches whose centers converge to the critical point, and whose vorticity converges in measure to the vortex-wave system $\\sum_m\\kappa_m^+\\delta_{z_m^+}-\\sum_n\\kappa_n^-\\delta_{z_n^-}+2\\gamma\\cos\\theta$. The paper claims these are the first patch-type regularizations of point-vortex equilibria on $\\mathbb S^2$, and that the dynamic quantities (traveling speed, patch location) are controlled by the same Green-function and Kirchhoff–Routh data that govern point-vortex motion.","pith_inferences":["If the missing proof of Lemma 3.2 is supplied, the same Lyapunov–Schmidt scheme should extend to other point-vortex equilibria on $\\mathbb S^2$ that arise as nondegenerate critical points of the Kirchhoff–Routh function, including the ring and crystal configurations catalogued for the sphere.","The $C^1$ regularity and the explicit $o(\\varepsilon)$ correction in the boundary parametrization suggest that a sharper asymptotic expansion would show the patches are elliptical to next order; that ellipticity would be a direct analogue of Kirchhoff's elliptic vortex on the sphere.","The paper does not address stability; a natural testable extension is whether the regularized patches inherit the stability or instability of the underlying point-vortex equilibria, for instance by computing the spectrum of the linearized Euler evolution around the constructed solutions.","Because the flux constants $\\mu_\\varepsilon$ and the level-set formulation are explicit, one could numerically verify the convergence rates in Theorem 1.2 by solving (1.6) for small $\\varepsilon$ and comparing patch boundaries with the predicted radius $\\sqrt{\\kappa/(\\pi\\varepsilon)}$."],"forward_implications":["Each von Kármán street configuration of type 1 or type 2 with $0<\\theta_0\\le \\pi/2$ is a genuine measure-valued limit of patch-type Euler solutions on $\\mathbb S^2$, not just a formal point-vortex equilibrium.","The traveling angular velocity $W_\\varepsilon$ of the regularized street converges to the point-vortex street speed computed from the Green function and Robin function on $\\mathbb S^2$, so the patch regularization selects the point-vortex dynamics.","By Lemma 1.1, the traveling patch solutions yield non-localized steady solutions on a rotating sphere with background vorticity $2\\gamma\\cos\\theta$, connecting the traveling and rotating frames.","Any nondegenerate critical point of the Kirchhoff–Routh function $K_{k+j}$ on $\\mathbb S^2$ supports a family of $j$ positive and $k$ negative vortex patches whose centers converge to that critical point, so the general steady vortex-wave system is regularized.","Each patch boundary is a $C^1$ curve that is a small perturbation of an ellipse in spherical coordinates, with radius of order $\\sqrt{\\kappa/(\\pi\\varepsilon)}$, matching the planar desingularization scaling."],"supporting_citations":[{"why":"Supplies the planar vortex-patch linear theory, including the Rankine-vortex kernel theorem (Theorem 2.1) used to identify the approximate kernel of $L_\\varepsilon$.","marker":"[5]"},{"why":"Provides the point-vortex dynamics and the Green and Robin functions on closed surfaces, from which the von Kármán street speed and the Kirchhoff–Routh function on $\\mathbb S^2$ are taken.","marker":"[15]"},{"why":"The earlier Kármán-street regularization in the plane that the $\\mathbb S^2$ construction adapts and extends.","marker":"[4]"},{"why":"Establishes the general desingularization of planar point-vortex equilibria via vortex patches, the conceptual template for the $\\mathbb S^2$ result.","marker":"[34]"},{"why":"Gives another planar desingularization approach showing point vortices as limits of steady Euler vortices, a comparison point for the patch construction.","marker":"[33]"},{"why":"Catalogues point-vortex equilibria on the sphere, cited as the vivid examples that the general steady theorem aims to regularize.","marker":"[30]"}],"fun_headline_variants":["First patch regularization of point vortices on a sphere","Patch solutions on a sphere reach von Karman street in limit","First proof of Euler patch regularization for spherical point vortices","Vortex patches on a rotating sphere realize point-vortex equilibria","Sphere patch vortices converge to von Karman point-vortex street"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The general steady case (Theorem 1.4) rests on the unproved projection identity in Lemma 3.2, which asserts that the integrals of the equation against the approximate kernel modes equal $\\kappa$-weighted derivatives of the Green function and the Kirchhoff–Routh function up to $o_\\varepsilon(1)$; if that identity fails, the corrected patch locations are not shown to exist.","fun_headline_variants_meta":{"raw":{"variants":["First patch regularization of point vortices on a sphere","Patch solutions on a sphere reach von Karman street in limit","First proof of Euler patch regularization for spherical point vortices","Vortex patches on a rotating sphere realize point-vortex equilibria","Sphere patch vortices converge to von Karman point-vortex street"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000966,"raw_usage":{"total_tokens":4179,"prompt_tokens":1085,"completion_tokens":3094,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":701,"completion_tokens_details":{"reasoning_tokens":3009}},"tokens_in":701,"tokens_out":3094,"duration_ms":21820,"temperature":1.0,"reasoning_tokens":3009,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T18:34:23.515101+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute the left-hand side of Lemma 3.2 directly for the simplest case $j=k=1$ with two patches of opposite sign near a critical point of $K_2$; if the displayed sums do not reproduce the stated $\\kappa$-weighted derivatives with a true $o_\\varepsilon(1)$ error, then the finite-dimensional system in the proof of Theorem 1.4 has no solution and the locations $z_{m,\\varepsilon}^\\pm$ are not determined.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the point-vortex dynamics and the Green and Robin functions on closed surfaces, from which the von Kármán street speed and the Kirchhoff–Routh function on $\\mathbb S^2$ are taken."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Establishes the general desingularization of planar point-vortex equilibria via vortex patches, the conceptual template for the $\\mathbb S^2$ result."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives another planar desingularization approach showing point vortices as limits of steady Euler vortices, a comparison point for the patch construction."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Catalogues point-vortex equilibria on the sphere, cited as the vivid examples that the general steady theorem aims to regularize."}],"review_version":1}