{"id":"0818517d-e562-4533-afe1-37aeb5100a72","arxiv_id":"2608.03654","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":1,"one_line_summary":"For every m at least 2, the paper constructs uniformly rotating Euler vortex-patch solutions with one outer patch and m small negative inner patches that collapse to a central point vortex as epsilon tends to zero.","lead":"Exact rotating fluid configurations are constructed in which one large vortex patch contains many tiny counter-rotating patches that all collapse toward the center as they shrink. This gives the first rigorous example of a vortex-patch solution with several interior interfaces inside a common outer patch.","discovery_kind":"new_application","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Equation (4.21) has a sign error that leaves the continuity estimate (4.22) unproven as written.","rationale":"The reader identified the uniform Hölder estimates as the weakest assumption, and I agree that the proof hinges on the estimates in Proposition 4.1. However, the most concrete and immediately verifiable failure is a sign error in equation (4.21). With the printed minus sign, the combination I2,2 − bracket + Λ sinθ contains a singular term of size ε^{−α}, so the estimate is false. The intended estimate, with a plus sign, is a direct consequence of (4.17)–(4.20) and restores (4.22). The rest of the argument—Fourier diagonalization, invertibility of the linearized operator, and the implicit function theorem—appears sound, and the construction is credible. The error is likely typographical, but because (4.22) is the load-bearing continuity estimate, the paper should be accepted only after the sign is corrected and the estimate is verified. Hence CONDITIONAL rather than ACCEPT.","tokens_in":34595,"tokens_out":37672,"duration_ms":356330,"concrete_test":"Independently recompute I2,2(ε,f2) + (Ω0+ε^αΛ)[ε^{2−2α}f2' + ε^{−α}Re(z2')] + Λ sinθ using (4.17) and the definition of the local bracket in (2.17). Verify that it equals (Ω0ε^{2−2α}+Λε^{2−α})f2' + Λ(Re(z2')+sinθ) + Pε and is O(ε+ε^{1−2α}). Then repeat with the printed minus sign in (4.21) and confirm that the left side contains −2Ω0ε^{−α}Re(z2'), which is unbounded as ε→0. This settles whether (4.21) is a typographical error or a genuine gap.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The key continuity estimate for F2 at ε=0 relies on (4.21), but the printed formula is algebraically false. From (4.17), I2,2(ε,f2) = −Ω0 ε^{−α} Re(z2') + Pε, while the local bracket in (2.17) is (Ω0+ε^αΛ)[ε^{2−2α}f2' + ε^{−α}Re(z2')] = Ω0ε^{2−2α}f2' + Ω0ε^{−α}Re(z2') + Λε^{2−α}f2' + ΛRe(z2'). Substituting into the left side of (4.21) with the printed minus sign gives I2,2 − bracket + Λ sinθ = −2Ω0ε^{−α}Re(z2') − Ω0ε^{2−2α}f2' − Λε^{2−α}f2' − Λ(Re(z2')−sinθ) + Pε. This contains the unbounded term −2Ω0ε^{−α}Re(z2'), so (4.21) cannot hold with the stated bound C(ε+ε^{1−2α}). The correct combination should be I2,2 + bracket + Λ sinθ, in which case the Ω0ε^{−α} terms cancel and the remainder is controlled by (4.18) and (4.20). As written, (4.22) does not follow, so the continuous extension of F2 to ε=0—and hence the implicit-function argument—is not rigorously established.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The manuscript constructs, for each integer m ≥ 2, phase σ ∈ {0,1}, and exponent α in (1/(m+2), 1/2), a local one-parameter family of uniformly rotating, piecewise constant weak solutions of the 2D incompressible Euler equations. Each solution consists of an outer vortex patch whose boundary is C^{1,ν}-close to the unit circle and m identical small inner components of vorticity −1/(πε²), centered at the vertices of a regular m-gon of radius ε^α. As ε → 0 the inner components collapse to the origin and the vorticities converge weakly to 1_D − mδ_0. The angular velocity has the singular form (1−m)/(4π ε^{2α}) + Λ(ε)/ε^α with Λ(ε) → 0. The proof reduces the contour-dynamics equations to a two-component nonlinear system F^σ(ε,Λ,f) = 0, proves that F^σ extends continuously to ε = 0, establishes Fréchet differentiability, computes an explicitly invertible Fourier-diagonal linearized operator at the singular limit, and applies a parameter-dependent implicit function theorem.","tokens_in":34979,"tokens_out":19150,"duration_ms":197320,"significance":"If the proof is correct, this is a significant contribution to the desingularization theory of point-vortex equilibria in a multiply connected geometry. It is, to the authors' knowledge, the first construction in which several concentrated inner components inside a common outer patch collapse simultaneously to the center. The paper is unusually explicit: the coefficient Ω0 is derived from an exact expansion rather than imposed, the admissible α-range is shown to be sharp at the formal level, the exceptional pentagonal cancellation is identified, and the linearized operator is diagonalized in Fourier modes. The Hölder estimates are detailed and the functional-analytic framework is appropriate. The main caveat is a concrete sign error in a central continuity estimate, discussed below.","major_comments":[{"comment":"The displayed estimate (4.21) is algebraically false as written and does not follow from (4.18)–(4.20). From (4.17), I_{2,2} = −Ω0 ε^{−α} Re(z2') + P_ε. The local rotational contribution in (2.17)/(4.19) is B := (Ω0 + ε^α Λ)[ε^{2−2α}f2' + ε^{−α}Re(z2')] = Ω0 ε^{−α}Re(z2') + (Ω0 ε^{2−2α} + Λ ε^{2−α})f2' + Λ Re(z2'). Therefore I_{2,2} − B + Λ sinϑ equals −2Ω0 ε^{−α}Re(z2') − (Ω0 ε^{2−2α} + Λ ε^{2−α})f2' − Λ(Re(z2') − sinϑ) + P_ε, whose first term is of order ε^{−α} and is not controlled by the claimed bound C(ε + ε^{1−2α}). The cancellation of the Ω0 ε^{−α} terms occurs for I_{2,2} + B + Λ sinϑ, not for the difference. Since (4.22) and hence the continuous extension of F^σ_2 to ε = 0 in Proposition 4.1 rely on (4.21), the proof as printed does not rigorously establish the central continuity estimate. Please correct the sign (the intended combination appears to be I_{2,2} + B + Λ sinϑ) and","section":"§4.1, Eq. (4.21)"}],"minor_comments":[{"comment":"The statement that for m = 5 the admissible upper bound on α can be improved from 1/2 to 2/3 is not supported by the nonlinear estimates in Section 4, where the proof requires 1 − 2α > 0 (e.g., (4.22)). The improved range appears to hold only for the formal limiting equation F^σ(0,Λ,0). Please clarify this in the text so that readers do not infer an existence theorem for α ∈ [1/2, 2/3).","section":"Remark 1.2 / Corollary 3.1"},{"comment":"The derivation of the derivative-continuity bounds at ε = 0 is compressed to 'follows the same line of Proposition 4.1'. Since these estimates are needed to apply the parameter-dependent implicit function theorem, please expand the argument or give precise pointers to the corresponding estimates in Proposition 4.1, especially after the sign correction in (4.21).","section":"§4.2, estimates (4.37)–(4.38)"},{"comment":"Typo: 'opertor' should be 'operator'.","section":"§5, first paragraph"}],"recommendation":"major_revision","confidential_remarks":"The sign error in Eq. (4.21) is load-bearing but appears local and readily fixable: the intended cancellation is achieved with a plus sign before the bracket. If the authors correct this and verify the subsequent estimates, I would expect the paper to merit publication. I therefore recommend major revision rather than rejection."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick read of arXiv:2608.03654. The core construction is genuinely new: one outer patch enclosing m identical concentrated inner components that collapse to the origin as ε→0, with vorticity converging to 1_D − m δ_0. The authors compute the leading-order cancellation exactly (Ω0 = (1−m)/4π, the regular polygon frequency), get a diagonal linearized operator, and treat an exceptional pentagonal case where the admissible α-range widens. That is real substance.\n\nThe problem: equation (4.21) has a sign error. As printed, I_{2,2} minus the local bracket plus Λ sinθ contains an unbounded −2Ω0 ε^{−α} Re(z2') term, so the bound C(ε+ε^{1−2α}) cannot hold. The correct combination is I_{2,2} plus the bracket plus Λ sinθ, which cancels the singular terms and gives the advertised estimate. I verified the algebra; this looks like a typo, not a fatal flaw. But as written, the continuity extension of F2 to ε=0—and thus the implicit-function argument—is unsupported.\n\nThat said, the paper still deserves a serious referee. The novelty is high, the limiting measure is interesting, and the rest of the analysis is largely coherent. The main referee task is to confirm the corrected estimate and check the long Hölder estimates (Lemma A.1, Proposition 4.1, Proposition 4.2), which are plausible but not fully detailed. The pentagonal exceptional range is a nice touch, and the figures are just illustrations, not needed for the proof.\n\nThis is a good reading-group paper precisely because it contains a subtle sign error that is educational. I'd bring it to the next meeting. For publication, I'd recommend acceptance after revision, with the authors asked to fix (4.21) and double-check the surrounding estimates. If the typo is corrected, the result stands.","headline":"Genuinely new desingularization construction with a fixable sign error in the key continuity estimate (4.21); worth refereeing after correction.","tokens_in":35435,"tokens_out":5804,"would_cite":true,"duration_ms":53940,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q31","76B47","35B32"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper constructs uniformly rotating vortex-patch solutions of the 2D Euler equations in which m concentrated inner components sit inside one outer patch and collapse to the origin as a concentration parameter goes to zero.","keywords":["uniformly rotating vortex patches","2D Euler equations","point-vortex desingularization","vorticity holes","contour dynamics","implicit function theorem","Hölder spaces","regular vortex polygons"],"falsifier":"Evaluate the second component of the operator at the circular configuration, f=0, for m=3 and α=1/3. The paper's expansion (3.8) gives F^σ_2(ε,Λ,0) = −Λ sinϑ + (1/(6π)) ε^{1/3} sin(2ϑ) + O(ε^{2/3}); a direct numerical evaluation of the contour integrals at ε=10^{-3} should reproduce this coefficient and confirm it vanishes as ε→0. If any nonzero residual harmonic survived after rescaling, the limiting operator (4.3) would be wrong and the theorem would fail.","tokens_in":34540,"feed_emoji":"🌀","tokens_out":9094,"duration_ms":99395,"temperature":0.7,"pith_summary":"This paper proves that planar ideal fluids admit exact rotating configurations made of one outer vortex patch wrapping m identical highly concentrated inner patches. For every m≥2, the inner patches sit at the vertices of a regular m-gon, shrink to size ε, and collapse simultaneously toward the origin as ε→0, while the outer boundary approaches the unit disk. The vorticity converges as a measure to a Rankine vortex plus a point vortex of circulation −m at the center, and the configuration rotates clockwise with angular velocity whose leading term is (1−m)/(4π)ε^{−2α}. The construction turns the free-boundary problem into two scalar contour equations and solves them by an implicit-function theorem, producing C^{1,ν} interfaces. This is the first analytical example where several concentrated inner components collapse into the same point inside a common outer patch.","feed_headline":"Rotating Euler state found: m inner vortices collapse to a point","feed_subtitle":"Exact patch solutions put m tiny negative inner cores inside a disk that spin faster and faster as they shrink.","key_machinery":"The key object is the reduced nonlinear operator F^σ(ε,Λ,f)=(F^σ_1,F^σ_2) built from contour dynamics. Boundaries are written as radial graphs with radii w_j=√(1+2εf_j); m-fold symmetry collapses the m+1 interface conditions to two scalar equations for the outer perturbation f1 and one reference inner perturbation f2. A singular rescaling extracts powers of ε^α from the angular velocity, and the constant Ω0=(1−m)/(4π) is chosen to cancel the leading singular inner–inner term, matching the regular-polygon point-vortex rotation rate. At ε=0 the operator converges to (Ω0 f1′, (1/2π)(f2′+H[f2])−Λ sin·), where H is the periodic Hilbert transform. This limiting linear operator is diagonal in Fouri","core_discovery":"On its own terms, the paper establishes Theorem 1.1: for m≥2, ν∈(0,1), α∈(1/(m+2),1/2), and σ∈{0,1}, there is ε0 such that for ε∈(0,ε0) the two-level vorticity (1.6) is a uniformly rotating weak solution of 2D Euler. Its outer boundary and the boundary of one reference inner component are C^{1,ν} radial graphs; the other m−1 inner components are rotations by 2π/m. The angular velocity is Ωε=(1−m)/(4π ε^{2α}) + Λε/ε^α with Λε→0, and the vorticities converge in measure to 1_D − mδ0. The proof reduces the m+1 boundary equations, by m-fold and reflection symmetry, to two scalar nonlinear equations F^σ(ε,Λ,f)=0, shows that F^σ extends continuously to the singular value ε=0, and proves that its li","pith_inferences":["Editorial inference: the same symmetry-reduction and explicit-inverse strategy should transfer to other m-fold point-vortex equilibria—nested polygons, body-centered configurations—provided the linearized operator at ε=0 remains diagonal and invertible.","Editorial inference: the divergence of Ωε suggests a general selection rule: a desingularization branch can converge in measure to a rotation-invariant state even though its angular velocity blows up, so measure-level descriptions of vortex configurations miss the nontrivial rotating structure present at every positive ε.","Editorial inference: the exceptional pentagonal window α<2/3 should be directly observable numerically—the second harmonic vanishes for m=5, so the first surviving correction is the cubic harmonic with a slower decay rate, making the α-bound visible in the boundary shapes.","Editorial inference: a natural next step, not addressed in the paper, is to test the local branch numerically for small ε and attempt continuation toward ε_h=1/√π; success would produce the first uniformly rotating patch with genuine zero-vorticity holes."],"forward_implications":["For each m≥2 and either phase σ=0 or σ=1, there exist genuine uniformly rotating weak Euler solutions with m interior interfaces, not merely formal or numerical equilibria.","As ε→0, the rotating branch degenerates: the vorticities converge in measure to the stationary Rankine-plus-point-vortex state while |Ωε|→∞, so the limiting measure alone carries no information about the rotation rate.","At ε_h=1/√π the inner components would carry zero vorticity; if the local branch can be continued globally to that parameter value, it would yield a uniformly rotating vortex patch with m genuine holes—identified by the authors as an open problem.","The admissible concentration range α∈(1/(m+2),1/2) is sharp except for m=5, where α<2/3 follows from an exact cancellation of the second harmonic in the inner–inner interaction."],"supporting_citations":[{"why":"Supplies the global weak-solution framework (L1∩L∞ vorticity transported by the flow) in which the constructed patch configurations are genuine solutions.","marker":"[37]"},{"why":"Introduces the contour-dynamics plus implicit-function-theorem desingularization method that the paper adapts to multiple inner interfaces.","marker":"[26]"},{"why":"Provides the parameter-dependent implicit function theorem used to open a one-sided branch at the singular value ε=0.","marker":"[9]"},{"why":"Constructs co-rotating N-fold patch equilibria and identifies regular polygon point-vortex configurations whose rotation rate fixes the leading constant.","marker":"[33]"},{"why":"Computes the regular m-gon relative-equilibrium angular velocity that fixes the coefficient Ω0=(1−m)/(4π).","marker":"[12]"}],"fun_headline_variants":["First analytic proof: m-vortex collapse in Euler flows","Rotating patch with m inner vortices collapsing to center","Exact solutions: multiple holes collapse to a point in Euler","m inner vortices collapse to a point in rotating Euler patch","First construction: Euler patch with m simultaneous vortex collapses"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The whole proof rests on one uniformity: as the inner disks shrink to points, the boundary equations keep the same Hölder regularity all the way to ε=0. If that uniform control failed on the C^{1,ν} ball of perturbations, the operator could not be extended continuously to ε=0, and no implicit-function branch could be opened.","fun_headline_variants_meta":{"raw":{"variants":["First analytic proof: m-vortex collapse in Euler flows","Rotating patch with m inner vortices collapsing to center","Exact solutions: multiple holes collapse to a point in Euler","m inner vortices collapse to a point in rotating Euler patch","First construction: Euler patch with m simultaneous vortex collapses"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001065,"raw_usage":{"total_tokens":4339,"prompt_tokens":823,"completion_tokens":3516,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":567,"completion_tokens_details":{"reasoning_tokens":3434}},"tokens_in":567,"tokens_out":3516,"duration_ms":23964,"temperature":1.0,"reasoning_tokens":3434,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T15:13:48.517198+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Evaluate the second component of the operator at the circular configuration, f=0, for m=3 and α=1/3. The paper's expansion (3.8) gives F^σ_2(ε,Λ,0) = −Λ sinϑ + (1/(6π)) ε^{1/3} sin(2ϑ) + O(ε^{2/3}); a direct numerical evaluation of the contour integrals at ε=10^{-3} should reproduce this coefficient and confirm it vanishes as ε→0. If any nonzero residual harmonic survived after rescaling, the limiting operator (4.3) would be wrong and the theorem would fail.","supporting_citations":[{"cited_title":"Modeling Nature","cited_arxiv_id":null,"evidence_quote":"Supplies the global weak-solution framework (L1∩L∞ vorticity transported by the flow) in which the constructed patch configurations are genuine solutions."},{"cited_title":"Existence of corotating and counter-rotating vortex pairs for active scalar equations.Communications in Mathematical Physics, 350(2):699–747, 2017","cited_arxiv_id":null,"evidence_quote":"Introduces the contour-dynamics plus implicit-function-theorem desingularization method that the paper adapts to multiple inner interfaces."},{"cited_title":"Dontchev and R","cited_arxiv_id":null,"evidence_quote":"Provides the parameter-dependent implicit function theorem used to open a one-sided branch at the singular value ε=0."},{"cited_title":"Corotating steady vortex flows with n-fold symmetry.Nonlinear Analysis","cited_arxiv_id":null,"evidence_quote":"Constructs co-rotating N-fold patch equilibria and identifies regular polygon point-vortex configurations whose rotation rate fixes the leading constant."},{"cited_title":"Vortex patches choreography for active scalar equations.Journal of Nonlinear Science, 31(5):Paper No","cited_arxiv_id":null,"evidence_quote":"Computes the regular m-gon relative-equilibrium angular velocity that fixes the coefficient Ω0=(1−m)/(4π)."}],"review_version":1}