{"id":"ba9ff872-c548-4469-ab7a-c5a40f90009d","arxiv_id":"2412.05973","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Every uniformly rotating vortex patch in the unit disc with angular velocity Ω ≤ 0 or Ω ≥ 1/2 is radial, and both thresholds are sharp.","lead":"This paper proves that in a round container, any vortex blob that stands still or rotates with angular velocity at most zero or at least one half must be circularly symmetric around the container's center. It settles the classification question for rotating vortex patches in a disc and extends the symmetry result to smooth swirling flows.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.2's regular-value hypothesis is not verified; at the sharp endpoints Ω=1/2 and Ω=infω0/2, flat regions of the relative stream function can make it fail, so the sketched proofs in Sections 5 and 6.2 are incomplete as written.","rationale":"The reader flagged the regular-value hypothesis in Lemma 3.2 and the implicit use of Sard's theorem. I agree this is a real gap: the paper never proves that the level sets {u=γ_j} lie in the C^2 region of u, nor that the constants c admit such regular values. But the sharper obstruction is at the endpoints Ω=1/2 and Ω=infω0/2, where the function used for symmetrization can be constant on an entire component. For Ω=1/2 with a simply-connected patch, ψ is harmonic with a constant boundary value, hence ψ≡c in the patch; then the hypothesis u>c in V fails, and the 'nearly identical' assertion in Section 5 is not literally correct. The same issue can arise for smooth solutions at Ω=infω0/2 if ω0 is flat on its minimum set and the shifted stream function is constant on a component. These cases are exactly where the sharpness of the threshold matters, so they are load-bearing for the main theorems. I do not view the flaw as fatal: a correct proof can apply Lemma 3.2 on the full disc with boundary value 0, since the relevant function is positive in the disc and the level sets near 0 lie in the exterior where the function is smooth, or can split flat regions using Lemma 3.1. But neither repair is present in the text, and the omitted details in Sections 4, 5, and 6.2 make the proof unverifiable as written. The reader's conditional verdict is therefore the right one; my concern sharpens the reason rather than changing the verdict.","tokens_in":19892,"tokens_out":31547,"duration_ms":295618,"concrete_test":"Write out the endpoint Ω=1/2 case of Theorem 1.1 for a simply-connected patch D strictly inside the unit disc. Set ψ=-u and check explicitly: (i) ψ≡c on D; (ii) in E=D\\D̄, ψ solves -Δψ=1 with ψ=0 on ∂D and ψ=c on ∂D; (iii) choose regular values γ_j↓0 of ψ in E (Sard applies since ψ is smooth in E) and verify that applying Lemma 3.2 on the full disc with boundary value 0 yields ∫(ψ_t-ψ)=o(t) despite the flat region. If this calculation works, the gap is repairable and the conditional verdict stands; if it fails, Theorem 1.1 is unproven at Ω=1/2.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Lemma 3.2 is the workhorse: it requires, for each boundary value c, a sequence of regular values γ_j↓c of u in V with u>c in V. The text (Sections 3.3 and 6.1) invokes Sard's theorem, but the hypotheses are never checked. In most applications u is C^2 on the relevant level sets because {u=γ} for γ>c lies at positive distance from the patch boundary, so the concern is repairable. However, at the sharp endpoints the issue is not merely C^1 versus C^2 regularity: the relative stream function can be constant on an open region. For a simply-connected patch at Ω=1/2, ψ=-u is harmonic in the patch and equals a constant on its only boundary component, hence ψ≡c in the patch. There are no regular values above c in that flat region and the condition u>c in V fails, so Lemma 3.2 cannot be applied as stated. The text of Sections 5 and 6.2 says the proofs are 'nearly identical' to the Ω≤0 case, but this suppresses exactly the needed case split: either apply Lemma 3.2 on the full disc with boundary value 0 (which can work because, at Ω=1/2, ψ>0 in the disc and level sets near 0 lie in the exterior where ψ is smooth), or split flat regions via Lemma 3.1. Neither argument is written. The theorem may still be true, but the central claim is not fully established at the sharp threshold as the text stands.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies radial symmetry of stationary and uniformly rotating solutions to the 2D incompressible Euler equation in the unit disc. For vortex patches whose boundary is a finite union of mutually disjoint Jordan curves, Theorem 1.1 asserts that any patch satisfying (1.4) with angular velocity Ω in (−∞,0]∪[1/2,∞) must be radially symmetric. Theorem 1.5 asserts an analogous conclusion for C^2 vorticity profiles when Ω≤infω0/2 or Ω≥supω0/2. The method uses Brock's continuous Steiner symmetrization to prove local symmetry of the relative stream function, combined with maximum-principle arguments to upgrade local symmetry to full radial symmetry. The stationary patch case is proved in detail, including the disconnected case; the rotating cases are presented only as sketches with the statement that the proofs are 'nearly identical' and the details are omitted. The claimed thresholds are sharp, since non-radial m-fold patches exist for every Ω∈(0,1/2) by de la Hoz et al.","tokens_in":20159,"tokens_out":11806,"duration_ms":111129,"significance":"If the main theorems are correct, the paper resolves a natural open question for V-states in a disc and extends the whole-plane rigidity results of Gómez-Serrano–Park–Shi–Yao to the disc, with sharp thresholds 0 and 1/2 for patches and infω0/2, supω0/2 for smooth solutions. The paper gives a detailed and careful proof for stationary disconnected patches, including a useful local estimate (Lemma 3.2) for the continuous Steiner symmetrization of functions with locally constant boundary values. The explicit comparison with the existing non-radial examples in (0,1/2) makes the sharpness claim concrete. However, the proof of the rotating cases is only sketched, and there is a genuine gap in the application of Lemma 3.2 at the sharp endpoint Ω=1/2. The central claim is plausible and likely repairable, but the paper as written does not fully establish the theorems for the rotating ranges.","major_comments":[{"comment":"The proof of Theorem 1.1 for Ω≥1/2 consists of the sentence 'Following the argument for the case Ω≤0, with u replaced by ψ, we can readily establish the desired radial symmetry of D. Since the proof is nearly identical, the details are omitted.' This is a load-bearing omission: the equation for ψ has source 2Ω−1_D, so the regions where ψ is superharmonic differ from the stationary case, and the ordering of boundary constants on different components of ∂D is not justified by the same argument. In particular, the flat-region issue raised in the next comment requires a case split that is not present in the Ω≤0 proof. As written, the Ω≥1/2 assertion of Theorem 1.1 is not established. The same omission occurs in Section 6.2 for the case Ω≥supω0/2.","section":"Section 5"},{"comment":"Lemma 3.2 (Eq. (3.15)) requires, for the chosen boundary constant c, that u>c in V and that there exist regular values γ_j↓c. At the sharp endpoint Ω=1/2, this hypothesis can fail in the intended application: for a simply-connected patch, ψ=−u is harmonic in the patch and equals a constant on its only boundary component, hence ψ≡c in V=int(Γ0). Then the hypothesis u>c in V is false, and Lemma 3.2 cannot be applied. The Section 5 text does not provide the needed alternative, such as using Lemma 3.1 for the flat region or applying Lemma 3.2 with boundary value 0 on the full disc, where ψ>0 near the boundary and level sets near 0 lie in the exterior. A similar failure can occur in Section 6.2 when ω0 is constant on an open set at the level supω0 and Ω=supω0/2. The theorems may still be true, but this part of the proof is incomplete as written.","section":"Lemma 3.2"},{"comment":"In Section 6.1, the proof of Eq. (6.5) approximates ω0 by step functions w_k whose level sets are regular, and then applies Lemmas 3.1 and 3.2 to the domains D_i and V_j^{(i)}. The hypotheses of Lemma 3.2 are not verified: the text invokes Sard's theorem but does not show that, for each boundary constant c of u=G[ω0]+(Ω/2)|x|^2 on the relevant level sets of ω0, there is a sequence of regular values γ_j↓c with u>c on the corresponding V. When ω0 is constant on an open set, or when Ω=infω0/2 causes u to have a flat region, such a sequence need not exist. Since Eq. (6.5) is the core estimate behind the local-symmetry claim for the smooth case, this is a gap in the proof of Theorem 1.5 for Ω≤infω0/2 as well.","section":"Section 6.1"}],"minor_comments":[{"comment":"The sentence 'The conclusion holds under the assumption that the rotating patch considered is disconnected' is misleading, since Theorem 1.1 does not require disconnectedness; the patch may be connected or disconnected. The wording should be clarified.","section":"Abstract"},{"comment":"The phrase 'For any integer k>1' is followed by 'inter k', which should read 'integer k'.","section":"Section 6.1"},{"comment":"In Eq. (6.6), the index 'n' in the denominator and in the bound '2π/n' should be 'k', consistently with the approximation index used in (a)–(d).","section":"Eq. (6.6)"},{"comment":"The phrases 'weakly superharmonic harmonic' and 'weakly subharmonic harmonic' contain a redundant 'harmonic'; they should read 'weakly superharmonic' and 'weakly subharmonic'.","section":"Sections 6.1 and 6.2"},{"comment":"The introduction of u=G[1_D−2Ω] in Section 4 is correct but slightly abrupt; it would help to note that this differs from G[1_D]+(Ω/2)|x|^2 by a constant, so that the boundary condition (1.4) is preserved.","section":"Section 4"}],"recommendation":"major_revision","confidential_remarks":"The manuscript addresses a timely and interesting question, and the stationary patch proof is largely self-contained. The main weakness is the systematic omission of details for the rotating cases, which are half of the main theorems. The flat-region issue at Ω=1/2 is concrete and needs to be addressed explicitly, either by invoking Lemma 3.1 when ψ is constant on a region or by a modified boundary-value argument. I recommend major revision rather than rejection because the gaps appear fixable and the overall strategy is credible."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Main thing to know: this paper closes the disc version of the GPSY rigidity question. It shows that any uniformly rotating vortex patch in the unit disc with Ω≤0 or Ω≥1/2 is radial, with both thresholds sharp because de la Hoz et al. construct non-radial m-fold patches for every Ω∈(0,1/2). The smooth analog (Ω≤infω0/2 or Ω≥supω0/2) is also there. As far as I can tell, the disc case with sharp thresholds was genuinely open; Wang–Zuo had non-sharp bounds that deteriorated near the boundary.\n\nThe stationary patch proof is the real meat and it is written out in full. The o(t) estimate via continuous Steiner symmetrization is careful, and Lemma 3.2 is a nice tool. The paper is honest about what comes from [19] and [41], and the sharpness discussion is accurate.\n\nThe soft spot is exactly what the reader flagged: Sections 4, 5 and 6.2 are sketches, and the phrase 'nearly identical' hides a real case split at the sharp endpoints. At Ω=1/2, for a simply connected patch, the relative stream function ψ=-u is harmonic in the patch and constant on its boundary, hence constant in the patch. Lemma 3.2 requires u>c in V and regular values γ_j↓c; in that flat region neither holds. The same issue arises for smooth solutions when ω0 attains infω0 or supω0 on an open set. This is not a mere C^1-vs-C^2 technicality—the proof as written is incomplete at the endpoints. The good news is that the gap looks repairable. For Ω=1/2, the clean fix is to observe ψ=G[1_{D\\D}], so the complement is a stationary patch and Section 3 already covers it. The smooth endpoint cases need a case split: apply Lemma 3.1 on the flat parts and Lemma 3.2 on the rest, with the Sard argument made explicit. None of that is in the text.\n\nI would send this to a serious referee. The main theorem is significant, the methods are sound in the non-degenerate regime, and the endpoint gap is a bounded repair, not a sign that the result is false. The referee's job is to push for the missing case split.","headline":"Sharp disc rigidity for rotating patches and smooth vorticity, with the stationary case fully proved but the sharp-endpoint rotating cases sketched; the endpoints need a case split that is repairable.","tokens_in":20777,"tokens_out":18126,"would_cite":true,"duration_ms":165609,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35B06","35Q31","76B47"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that every uniformly rotating vortex patch in the unit disc with angular velocity Ω≤0 or Ω≥1/2 must be radially symmetric, and that every smooth rotating solution with Ω≤infω0/2 or Ω≥supω0/2 must be radial.","keywords":["radial symmetry","vortex patches","2D Euler equation","uniformly rotating solutions","continuous Steiner symmetrization","level-set rigidity","unit disc"],"falsifier":"Run a numerical search for a non-radial $m$-fold uniformly rotating vortex patch in the unit disc at, say, $\\Omega = -0.2$ or $\\Omega = 0.7$; finding one would contradict Theorem 1.1. Alternatively, exhibit a patch whose stream function has a boundary value $c$ with no regular values $\\gamma_j \\downarrow c$ in the interior, since Lemma 3.2 would then fail at exactly that step.","tokens_in":19616,"feed_emoji":"🌀","tokens_out":10681,"duration_ms":104791,"temperature":0.7,"pith_summary":"The paper proves that any uniformly rotating vortex patch in the unit disc whose angular velocity is at most 0 or at least 1/2 must be radially symmetric, even if the patch is disconnected or has holes, and that the two thresholds are sharp because non-radial examples exist for every Ω in (0,1/2). It also proves the analogous rigidity for smooth vorticity profiles: a $C^{2}$ solution rotating with Ω≤infω0/2 or Ω≥supω0/2 must be radially symmetric. The interest is that these results settle a question left open by earlier disc results, whose thresholds depended on how close the patch came to the boundary. If true, the disc admits no non-radial rotating vortex shapes outside the angular-velocity window (0,1/2), while inside that window examples are known.","feed_headline":"Non-round vortex patches in a disc exist only for spins in (0, 1/2)","feed_subtitle":"At angular velocities ≤0 or ≥1/2, every vortex patch and every smooth rotating solution in the disc must be radially symmetric.","key_machinery":"The machinery is continuous Steiner symmetrization (CStS), applied slice by slice, together with Brock's criterion: if the Dirichlet energy ∫|∇u|^2 changes by o(t) under CStS as t→0, then u is locally symmetric. Working with the relative stream function u=G[1_D−2Ω] for patches (or G[ω0]+Ω/2|x|^2 for smooth solutions), the condition Ω≤0 or Ω≥1/2 makes u or −u weakly superharmonic, so local symmetry upgrades to radial symmetry by a Hopf-lemma argument. The o(t) energy estimate is reduced, via test functions, to showing ∫(u_t−u) over each patch component and hole is o(t); Lemma 3.2 does this using a sequence of regular level values γ_j↓c, Sard's theorem, and the fact that u_t is a rearrangement of u.","core_discovery":"The central claim is that, in the unit disc, rigidity wins outside the window (0,1/2): every stationary or uniformly rotating vortex patch with Ω∈(−∞,0]∪[1/2,∞) is radially symmetric, and every smooth uniformly rotating solution with Ω≤infω0/2 or Ω≥supω0/2 is radially symmetric. The proof treats the relative stream function u=G[ω]+Ω/2|x|^2 (or its negative ψ) and observes that the angular-velocity condition makes this function weakly superharmonic or subharmonic. The paper shows such a function, when it satisfies the rotating-patch or level-set boundary conditions, must be locally symmetric in every direction, and then combines local symmetry with the super/subharmonicity to conclude u is radially decreasing and hence the patch or vorticity is a centered disc or annulus, or a radial profile.","pith_inferences":["One likely extension is to other active scalar equations in bounded domains: the proof only needs a relative stream function that is weakly super/subharmonic and locally constant on level sets, so the same CStS localisation should work whenever such a comparison holds.","The coexistence of rigidity outside (0,1/2) and non-radial branches throughout (0,1/2) suggests the bifurcation curves from [10] connect to the radial family at the two endpoints; numerical continuation near Ω=0 and Ω=1/2 could test this directly.","If the authors' belief in Remark 5.1 that the multi-scale thresholds are sharp is correct, then there should exist non-radial multi-scale rotating patches for every Ω strictly between min_i α_i and max_i α_i; constructing them would complete the picture."],"forward_implications":["Corollary 1.2: a connected patch that is stationary or rotates with Ω outside (0,1/2) is a centered disc if simply connected and a centered annulus if it has holes.","The thresholds 0 and 1/2 are sharp: non-radial m-fold patches exist for every Ω∈(0,1/2), so no rigidity theorem of this type can cover the open interval.","Every stationary smooth solution with nonnegative vorticity in the disc is radially symmetric, since Ω=0≤infω0/2 in that case.","For multi-scale patches, the same method gives radial symmetry whenever Ω≤min_i α_i or Ω≥max_i α_i for a vorticity ω=Σα_i 1_{D_i}, extending the patch theorem to sign-changing data."],"supporting_citations":[{"why":"Constructs non-radial m-fold uniformly rotating patches in the disc for every Ω∈(0,1/2), which makes the thresholds 0 and 1/2 in Theorem 1.1 sharp.","marker":"[10]"},{"why":"Proves the continuous Steiner symmetrization properties and the criterion that o(t) energy change implies local symmetry, the core of the proof.","marker":"[3]"},{"why":"Supplies the presentation of CStS and the framework for overdetermined elliptic problems that the paper follows.","marker":"[5]"},{"why":"Establishes the existence and basic properties of the continuous symmetrization family T_t used throughout.","marker":"[2]"},{"why":"Proves the analogous whole-plane symmetry result and supplies the step-function approximation of smooth vorticity used in Section 6.","marker":"[19]"},{"why":"Gives the earlier disc symmetry result with patch-size-dependent thresholds and leaves open the exact Ω∉(0,1/2) question the paper resolves.","marker":"[41]"},{"why":"Provides the Serrin moving-plane result behind the simply connected stationary-patch warm-up.","marker":"[38]"},{"why":"Supplies the maximum-principle symmetry result quoted in the simply connected patch case.","marker":"[15]"}],"fun_headline_variants":["Radial symmetry forced unless spin lies strictly in (0,1/2)","Vortex asymmetry only for spins between 0 and 1/2","Slow or fast spins force disc vortices to be round","No asymmetric vortex patches unless 0 < spin < 1/2","Radial symmetry wins for all spins outside (0,1/2)"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"For each constant value of the stream function on a patch boundary, the proof needs a sequence of nearby level values at which the stream function is smooth inside the patch; the paper invokes Sard's theorem to get these but does not explicitly prove the level sets avoid the $C^1$-only region across the patch boundary.","fun_headline_variants_meta":{"raw":{"variants":["Radial symmetry forced unless spin lies strictly in (0,1/2)","Vortex asymmetry only for spins between 0 and 1/2","Slow or fast spins force disc vortices to be round","No asymmetric vortex patches unless 0 < spin < 1/2","Radial symmetry wins for all spins outside (0,1/2)"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001083,"raw_usage":{"total_tokens":4509,"prompt_tokens":904,"completion_tokens":3605,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":520,"completion_tokens_details":{"reasoning_tokens":3511}},"tokens_in":520,"tokens_out":3605,"duration_ms":22530,"temperature":1.0,"reasoning_tokens":3511,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T20:09:29.925351+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run a numerical search for a non-radial $m$-fold uniformly rotating vortex patch in the unit disc at, say, $\\Omega = -0.2$ or $\\Omega = 0.7$; finding one would contradict Theorem 1.1. Alternatively, exhibit a patch whose stream function has a boundary value $c$ with no regular values $\\gamma_j \\downarrow c$ in the interior, since Lemma 3.2 would then fail at exactly that step.","supporting_citations":[{"cited_title":"An analytical and numerical study of steady patches in the disc","cited_arxiv_id":null,"evidence_quote":"Constructs non-radial m-fold uniformly rotating patches in the disc for every Ω∈(0,1/2), which makes the thresholds 0 and 1/2 in Theorem 1.1 sharp."},{"cited_title":"Continuous rearrangement and symmetry o f solutions of elliptic problems","cited_arxiv_id":null,"evidence_quote":"Proves the continuous Steiner symmetrization properties and the criterion that o(t) energy change implies local symmetry, the core of the proof."},{"cited_title":"Symmetry for a general class of overdeter mined elliptic problems","cited_arxiv_id":null,"evidence_quote":"Supplies the presentation of CStS and the framework for overdetermined elliptic problems that the paper follows."},{"cited_title":"Continuous Steiner-symmetrization","cited_arxiv_id":null,"evidence_quote":"Establishes the existence and basic properties of the continuous symmetrization family T_t used throughout."},{"cited_title":"Sym metry in stationary and uniformly rotating solutions of active scalar equations","cited_arxiv_id":null,"evidence_quote":"Proves the analogous whole-plane symmetry result and supplies the step-function approximation of smooth vorticity used in Section 6."},{"cited_title":"On radial symmetry of rotating vo rtex patches in the disk","cited_arxiv_id":null,"evidence_quote":"Gives the earlier disc symmetry result with patch-size-dependent thresholds and leaves open the exact Ω∉(0,1/2) question the paper resolves."},{"cited_title":"A symmetry problem in potential theory","cited_arxiv_id":null,"evidence_quote":"Provides the Serrin moving-plane result behind the simply connected stationary-patch warm-up."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the maximum-principle symmetry result quoted in the simply connected patch case."}],"review_version":1}