{"id":"21c7a558-96f6-4d81-99f1-51322cd00f4e","arxiv_id":"2506.05034","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Uniformly rotating 2D Euler solutions with compactly supported vorticity are forced to be radially symmetric whenever the angular velocity lies outside half the range of the vorticity, including irregular vortex patches.","lead":"This paper proves that any uniformly rotating or stationary 2D Euler flow with compactly supported vorticity must be radially symmetric when the rotation rate is far enough from the typical vorticity range, even for sign-changing vorticity and rough patch boundaries. The result extends earlier rigidity theorems that required nonnegative vorticity and smoother boundaries.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified.","rationale":"I read the paper as proving radial symmetry of uniformly rotating 2D Euler solutions by showing the stream function u = N*\\omega_0 + (\\Omega/2)|x|^2 is locally symmetric via continuous Steiner symmetrization, then upgrading local symmetry to global radial symmetry through superharmonicity. The proof strategy is coherent and the central claim is consistent with the known rigidity theory and with the sharpness construction in Appendix A. The most plausible point of failure is the quantitative estimate controlling how fast far-away level sets move under CStS. I examined this estimate in context: it is applied to level sets of the C^1 stream function, not to the Jordan patch boundaries, and the bound follows from the one-dimensional interval rule of the CStS together with the polar parametrization of the level set. Thus the reader's concern, while identifying the right place to look, overstates the fragility. I also checked Lemma 2.12 and its use in (3.14): if a hole is source-free, u is constant there and Lemma 2.11 applies; otherwise the minimum principle gives the strict inequality u > c required by Lemma 2.12. Therefore the o(t) estimates for the patch-domain integrals are sound even for nested patches. The sign typo in Section 4.1 does not affect the argument because compact support forces \\inf \\omega_0 \\le 0, so the superharmonic case automatically has \\Omega \\le 0. Since the identified issues are expository rather than mathematical, the conditional verdict should stand unchanged.","tokens_in":24181,"tokens_out":44369,"duration_ms":545473,"concrete_test":"Recompute L^2(U^t_k \\triangle U_k) in (3.11) directly from Definition 2.2(iv) for the level set \\rho = \\rho_k(\\theta), without citing Lemma 4.1 of [20]; if the resulting bound is not O(r_k^2 t), the local-symmetry proof would collapse.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After checking the main rigidity argument in Sections 3-4, I find no load-bearing flaw in the central claim. The reader's weakest assumption, namely the slow level-set motion estimate imported from [20], is the most delicate external input, but it is used only for the C^1 far level sets \\mathcal{I}_{\\gamma_k}, not for the irregular patch boundaries. For these level sets the bound L^2(U^t_k \\triangle U_k) \\le C H^1(\\partial U_k) R_k t follows from the interval property (Definition 2.2(iv)) of the continuous Steiner symmetrization: each horizontal slice moves toward the y-axis with center speed controlled by R_k, so the symmetric difference lies in an R_k t-neighborhood of the C^1 boundary. The asymptotic O(1/r_k^3) in (3.10) then yields (3.11). The statement '\\Omega \\ge 0' at the start of Section 4.1 is a typo: compact support of \\omega_0 forces \\inf \\omega_0 \\le 0, hence \\Omega \\le 0 in that case; the subsequent estimates use only |\\Omega| and are unaffected. The remaining gaps, such as deferred proofs of technical lemmas and the statement that the subharmonic case is identical, are presentation issues rather than challenges to the theorem.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper proves rigidity results for uniformly rotating solutions of the 2D incompressible Euler equation with compactly supported vorticity. Theorems 1.1 and 1.4 assert that any multi-patch solution satisfying (1.6) or any C^2 smooth solution satisfying (1.7) must be radially symmetric, up to translation when the angular velocity is zero, whenever Omega <= inf omega_0 / 2 or Omega >= sup omega_0 / 2. The proof represents the stream function as u = N * omega_0 + (Omega/2)|x|^2 and uses Brock's continuous Steiner symmetrization together with a local-symmetry criterion to show that u is radial. The superharmonic or subharmonic nature of u, forced by the angular-velocity condition, allows truncations at far-away level sets; estimates on the slow motion of level sets under symmetrization show that the Dirichlet-energy derivative vanishes, yielding local symmetry, and a maximum-principle lemma upgrades this to global radial symmetry. An appendix sketches a bifurcation result indicating that the angular-velocity bounds are sharp.","tokens_in":24366,"tokens_out":32987,"duration_ms":377900,"significance":"If correct, the paper substantially extends the rigidity theorems of Gomez-Serrano, Park, Shi, and Yao ([20]): it removes the non-negativity restriction on vorticity and allows patch boundaries that are merely finite unions of Jordan curves, including irregular boundaries. The continuous Steiner symmetrization method is conceptually clean and is applied here to the unbounded plane by a truncation argument, which is a genuine technical contribution. The paper also supplies a bifurcation construction that plausibly shows sharpness of the Omega-interval. The main ideas and the overall proof architecture are sound and original. However, the manuscript as written has gaps in the proof of the subharmonic case and in a key technical lemma used for irregular patch boundaries; these need to be repaired before the theorems as stated are fully established.","major_comments":[{"comment":"The proof in the subharmonic case begins with the statement 'In this case, Omega >= 0'. This does not follow from the condition Omega >= sup omega_0 / 2 when the vorticity is sign-definite negative: if omega_0 <= 0 and not identically zero, then sup omega_0 < 0 and Omega may be negative. In that situation u = N * omega_0 + (Omega/2)|x|^2, while subharmonic, still tends to -infinity, but the reduction to \\tilde u = -u gives a function tending to +infinity, and the previous proof relies on the stream function tending to -infinity to define the far-away level sets Gamma_c and the compactly supported truncations (u - c0)_+. Consequently the proof as written covers only Omega >= 0, whereas Theorems 1.1 and 1.4 do not assume sign-changing vorticity. Please either restrict the theorems to sign-changing vorticity, matching the abstract, or supply the missing argument for sign-definite negative vorticity, for example by time-reversal symmetry.","section":"Section 3.2 (and 4.2)"},{"comment":"The proof of Lemma 2.12 asserts that '(u^t - gamma_k)_+ 1_{U_i} is a rearrangement of (u - gamma_k)_+ 1_{U_i} for all sufficiently small t' by the definition of the CStS. This does not follow from the stated conditions on U_i. The continuous Steiner symmetrization of a product of a function with the indicator of a set is not in general the product of the symmetrized function with the same indicator, and for an arbitrary domain U_i satisfying G_i subset U_i subset V and {u > gamma_k} intersect U_i = G_i, the symmetrized level sets may leave U_i. The identities (2.11)-(2.14), and hence the o(t) estimate (2.6), rely on this assertion, so the proof of the lemma is incomplete. This lemma is used at (3.14) and (4.7), so the gap affects the treatment of irregular patch boundaries. The lemma can be repaired by choosing each U_i to be a neighbourhood of the closure of G_i that is separated from the other level sets; with that choice (u - gamma_k)_+ vanishes outside U_i and, for small t, so does its continuous Steiner symmetrization, making the rearrangement identity true. Please state and justify this choice explicitly.","section":"Lemma 2.12"}],"minor_comments":[{"comment":"The sentence 'In this case, Omega >= 0' should read Omega <= 0: compact support of omega_0 gives inf omega_0 <= 0, and the estimates that follow use only |Omega|, so this is a typo rather than a mathematical issue.","section":"Section 4.1"},{"comment":"The key estimate L^2(U^t_k Delta U_k) <= 2 H^1(Gamma_{gamma_k}) R_k t is imported from Lemma 4.1 and Eq. (4.2) of [20] without proof. Since it is a load-bearing quantitative input for (3.11) and the analogous estimates in Section 3.1, please state it as a lemma and include a proof sketch, for example from the interval property in Definition 2.2(iv) together with the C^1 nature of the far level sets.","section":"After (3.10)"},{"comment":"Several computations in the bifurcation analysis are only said to follow from [12] (for instance the smoothness of the nonlinear map F and the derivation of the linearized operator), and there are typos such as 'lineazied', 'eignvalues', and the duplicated phrase 'at the angular velocity at the angular velocity'. Please expand the derivations or state explicitly which results of [12] are being invoked.","section":"Appendix A"},{"comment":"The notation [U]^t appears in the display but is not defined and should be U^t.","section":"Equation (3.5)"},{"comment":"In the case Omega = 0, the proof sets A = (1/2 pi) int omega_0 and assumes A is nonzero without comment. If omega_0 is identically zero the result is trivial; otherwise the condition Omega <= inf omega_0 / 2 with Omega = 0 forces omega_0 >= 0, so A > 0. Please add this one-line justification.","section":"Section 3.1, Case 1"},{"comment":"The approximation omega_0 by step functions w_n = sum_j alpha_j 1_{D_j} should allow the coefficients alpha_j to depend on n, and the approximation properties (a)-(d) should be stated with a clear link to the regular-level-set decomposition of omega_0, since the current description is terse.","section":"Section 4.1, step-function approximation"}],"recommendation":"major_revision","confidential_remarks":"The central idea is attractive and the main theorems are likely correct after the identified repairs. I do not think rejection is warranted. The most important fixes are: (i) align the theorem statements with the sign-changing hypothesis or add the missing time-reversal argument for sign-definite negative vorticity, and (ii) repair the proof of Lemma 2.12, which is used for the irregular patch boundaries. The bifurcation appendix is more of a sketch and should either be expanded or its claims softened."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Jim, the short version: this paper resolves the natural open problem left by the Duke 2021 rigidity theorem. It extends the symmetry result to sign-changing vorticity and to vortex patches whose boundaries are merely finite unions of Jordan curves—no Lipschitz or rectifiability assumption. That is a genuine extension, and the main proof is sound.\n\nThe method is continuous Steiner symmetrization, used by the authors before in a disk domain and adapted here to the full plane. The superharmonic/subharmonic split of the stream function is what does the work. I checked the most delicate imported estimate, the O(t) bound on the symmetric difference of Steiner level sets. It holds for the C^1 far level sets via the interval property of the continuous symmetrization; the irregular Jordan boundaries never carry that burden. The sign typo in Section 4.1 is harmless: in the case Omega <= inf w0/2, compact support forces Omega <= 0, and the estimates use only |Omega|. The central claim of Theorem 1.1 and Theorem 1.4 stands.\n\nWhat is new: Theorem 1.1 covers multi-patch sign-changing vorticity with irregular boundaries. Theorem 1.4 does the same for compactly supported C^2 smooth solutions. The appendix gives a bifurcation result showing the angular velocity bounds are sharp, with the thresholds inf w0/2 and sup w0/2 recovered in the appropriate limits. That is a useful complement.\n\nThe soft spots are real but not load-bearing. Section 3.2 and Section 4.2 are omitted, with the subharmonic case dismissed as identical; a referee will need the reduction spelled out to verify signs and boundary conditions. The appendix relies heavily on computations from [12] and says 'we omit here for brevity'; the linearized operator and transversality are stated without derivation. The approximation argument in Section 4.1 also points to page 2997 of [20] instead of presenting the details. These are compressibility choices, not errors.\n\nThe paper cites [20] and [19] properly, and the self-citation to the authors' disk paper is for the method, which is fair.\n\nBottom line: send it to a serious referee. It answers a question the Duke paper explicitly flagged and the main proof appears correct. The right referee request is for the omitted sections to be either expanded or precisely delegated, and for the appendix to say exactly which formulas are imported. As written it is a bit compressed, but it is a solid contribution and worth the referee time.","headline":"A real extension of the Duke 2021 rigidity theorem—sign-changing vorticity and irregular patches—with a sound central proof; the gaps are omitted details, not errors.","tokens_in":24900,"tokens_out":3419,"would_cite":true,"duration_ms":36187,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q31","35B06","76B47"],"pacs":[],"model":"deepseek-v4-flash","headline":"A uniformly rotating solution of the 2D Euler equation with compactly supported vorticity must be radially symmetric whenever its angular velocity lies at or outside half the range of the vorticity, with stationary solutions radial up to…","keywords":["radial symmetry","2D Euler equations","vortex patch","uniformly rotating solutions","continuous Steiner symmetrization","local symmetry","sign-changing vorticity","sharp threshold"],"falsifier":"Compute $L^2(U^t \\Delta U)$ for a Koch-snowflake-shaped superlevel set of a uniformly rotating patch with $\\Omega$ outside $[\\inf \\omega_0/2, \\sup \\omega_0/2]$ and check whether it obeys the bound $\\le C H^1(\\partial U) R t$ used in the proof; finding a counterexample to that displacement estimate, or any non-radial patch satisfying the contour equation (1.3) in that parameter range, would refute the rigidity theorem.","tokens_in":23957,"feed_emoji":"🌀","tokens_out":12777,"duration_ms":117875,"temperature":0.7,"pith_summary":"This paper establishes a rigidity theorem for two-dimensional ideal fluids: if a compactly supported vorticity distribution rotates uniformly (or is stationary) and its angular velocity satisfies $\\Omega \\le \\inf \\omega_0/2$ or $\\Omega \\ge \\sup \\omega_0/2$, then the vorticity must be radially symmetric, up to translation when $\\Omega = 0$. The result covers vortex patches whose boundaries are merely finite unions of disjoint Jordan curves, so the boundaries may be fractal or otherwise rough, and it covers $C^2$ smooth compactly supported vorticity, allowing vorticity that changes sign. This matters because it identifies a precise region in which non-radial steady or uniformly rotating structures of the planar Euler equation can exist: outside that angular-velocity range, the vorticity is forced to be round regardless of patch irregularity. The paper also constructs non-radial sign-changing patches by bifurcation, showing that the thresholds in the theorem cannot be widened.","feed_headline":"Fast or slow 2D vortices must be radially symmetric","feed_subtitle":"New proof forces circular symmetry for uniformly rotating patches, even with fractal boundaries and sign-changing vorticity.","key_machinery":"The load-bearing object is the continuous Steiner symmetrization (CStS), a one-parameter family of rearrangements $T_t$ that continuously shrinks each vertical slice of a set or function toward its midpoint until the classical Steiner symmetrization is reached at $t = \\infty$. The paper uses it through a local-symmetry criterion: if a compactly supported function in $H^1$ has vanishing first-order derivative of its Dirichlet energy under the CStS, then the function is locally symmetric. The proof verifies that derivative is zero for the truncated stream function $(u-c_0)_+$ by a truncation argument and an estimate, imported from earlier work, that the symmetric difference $L^2(U^t_k \\Delta U_k)$ between a far-away superlevel set and its symmetrization is bounded by a constant times $H^1(\\partial U_k)$ times $R_k t$; the far-away level sets are nearly circular because $u$ behaves like $\\Omega|x|^2 + O(|x|^{-1})$ at infinity. Local symmetry, together with the structure theorem saying a locally symmetric function consists of countable annuli on which it is radially decreasing, is upgraded to global radiality by a weak-superharmonicity and maximum-principle argument. An appendix applies an abstract bifurcation-from-simple-eigenvalue theorem to the contour equations for two nested patches and exhibits non-radial branches at angular velocities approaching the thresholds, proving sharpness.","core_discovery":"The central claim is that radial symmetry is forced by the superharmonic or subharmonic nature of the stream function $u = N * \\omega_0 + \\frac{\\Omega}{2}|x|^2$, not by positivity of vorticity or by smoothness of the patch boundary. Under the hypothesis $\\Omega \\le \\inf \\omega_0/2$ the function $u$ is weakly superharmonic on the plane, and under $\\Omega \\ge \\sup \\omega_0/2$ the function $-u$ is; the integral equations (1.6) and (1.7) make $u$ constant on each patch boundary or on each regular level set of $\\omega_0$. The paper proves that such a $u$ is locally symmetric in every direction by running the continuous Steiner symmetrization and showing the Dirichlet energy is unchanged to first order, so a local-symmetry criterion applies. Once local symmetry is combined with a maximum-principle rigidity argument for weakly superharmonic functions, $u$ must be radial, and hence $\\omega_0$ is radial, up to translation when $\\Omega = 0$. This covers multi-patch solutions with sign-changing weights and boundaries that are finite unions of mutually disjoint Jordan curves, as well as $C^2$ smooth compactly supported vorticity, thereby extending previous rigidity results beyond the regime of nonpositive angular velocities and nonnegative vorticity.","pith_inferences":["A testable extension: if the level-set displacement estimate behind the CStS proof extends to other interaction kernels, the same recipe should force radial symmetry for uniformly rotating patches of related active scalar models whenever the corresponding stream function is super- or subharmonic; the Euler-specific input is mainly the far-field expansion of the stream function.","The bifurcation formulas in the appendix suggest that for sign-changing double patches the non-radial families are discrete and indexed by the symmetry mode, with angular velocities accumulating at the threshold values as the mode number grows; one could test this prediction by computing higher-mode branches.","It is plausible that the $C^2$ condition in the smooth theorem is used only to ensure level sets are regular, so the smooth result may persist for weaker regularity whenever the level-set equation (1.7) is imposed directly as the definition of a uniformly rotating solution."],"forward_implications":["Any stationary multi-patch solution with the integral-equation structure (1.6), arbitrary signs, and Jordan-curve boundaries must be radially symmetric up to translation, so lopsided stationary multi-component patches cannot exist in that class.","Any uniformly rotating smooth solution with compact support and $\\Omega$ outside $[\\inf \\omega_0/2, \\sup \\omega_0/2]$ is radial, removing the earlier requirements of nonnegative vorticity and nonpositive angular velocity.","The thresholds in the patch theorem are sharp: the bifurcation construction in Appendix A yields non-radial sign-changing double patches at angular velocities approaching the boundary values, so the interval is exactly the window in which non-radial uniform rotation is possible.","Because radiality is deduced from the stream function rather than from a global vorticity-strength relation $\\omega = f(\\psi)$, the method avoids the need for a globally defined profile function linking vorticity to the stream function."],"supporting_citations":[{"why":"Supplies the previous rigidity result that this paper extends, and the level-set velocity estimate used to control the symmetric difference of far-away superlevel sets.","marker":"[20]"},{"why":"Develops the continuous Steiner symmetrization and gives the local-symmetry criterion and the structure theorem for locally symmetric functions that form the proof's backbone.","marker":"[5]"},{"why":"Introduces the continuous Steiner symmetrization construction and its basic properties, including the homotopy to classical Steiner symmetrization.","marker":"[4]"},{"why":"The authors' earlier disk-domain work, which provides the truncation and piecewise-estimation template reused here for the unbounded plane.","marker":"[16]"},{"why":"Provides the abstract bifurcation-from-simple-eigenvalue theorem used in Appendix A to produce non-radial branches and prove sharpness of the thresholds.","marker":"[11]"},{"why":"Supplies the conformal-mapping contour equations and functional setting for bifurcations of doubly connected vortex patches used in the sharpness appendix.","marker":"[12]"}],"fun_headline_variants":["Extreme rotation forces circular symmetry in 2D vortices","Radial symmetry proved for uniformly rotating Euler patches","Jagged vortex edges can't evade roundness at extreme spin","Fast or slow spin makes 2D Euler vortices radial"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The whole argument hinges on a bound, imported from earlier work, that each far-away level set of the stream function is displaced by the symmetrization procedure at speed at most its own radius; if that displacement bound fails for sets with merely Jordan boundaries, the proof that the energy stays unchanged to leading order collapses.","fun_headline_variants_meta":{"raw":{"variants":["Extreme rotation forces circular symmetry in 2D vortices","Radial symmetry proved for uniformly rotating Euler patches","Jagged vortex edges can't evade roundness at extreme spin","Fast or slow spin makes 2D Euler vortices radial"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000286,"raw_usage":{"total_tokens":1697,"prompt_tokens":973,"completion_tokens":724,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":589,"completion_tokens_details":{"reasoning_tokens":656}},"tokens_in":589,"tokens_out":724,"duration_ms":7706,"temperature":1.0,"reasoning_tokens":656,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-07T10:28:15.176007+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Compute $L^2(U^t \\Delta U)$ for a Koch-snowflake-shaped superlevel set of a uniformly rotating patch with $\\Omega$ outside $[\\inf \\omega_0/2, \\sup \\omega_0/2]$ and check whether it obeys the bound $\\le C H^1(\\partial U) R t$ used in the proof; finding a counterexample to that displacement estimate, or any non-radial patch satisfying the contour equation (1.3) in that parameter range, would refute the rigidity theorem.","supporting_citations":[{"cited_title":"G´ omez-Serrano, J","cited_arxiv_id":null,"evidence_quote":"Supplies the previous rigidity result that this paper extends, and the level-set velocity estimate used to control the symmetric difference of far-away superlevel sets."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Develops the continuous Steiner symmetrization and gives the local-symmetry criterion and the structure theorem for locally symmetric functions that form the proof's backbone."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Introduces the continuous Steiner symmetrization construction and its basic properties, including the homotopy to classical Steiner symmetrization."},{"cited_title":"Crandall and P.H","cited_arxiv_id":null,"evidence_quote":"Provides the abstract bifurcation-from-simple-eigenvalue theorem used in Appendix A to produce non-radial branches and prove sharpness of the thresholds."},{"cited_title":"de la Hoz, T","cited_arxiv_id":null,"evidence_quote":"Supplies the conformal-mapping contour equations and functional setting for bifurcations of doubly connected vortex patches used in the sharpness appendix."}],"review_version":1}