{"id":"167e44f7-d511-4084-ac72-a31e4ca99d4f","arxiv_id":"2306.03498","paper_version":5,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":6.0,"correctness_risk":"unknown","formal_verification":"none","parameter_count":0,"one_line_summary":"Proves that Lipschitz vortex patches in 2D incompressible Euler equations form 90° corners at singular boundary points.","lead":"The paper proves that if a uniformly rotating vortex patch in the 2D Euler equations is Lipschitz, its boundary forms a 90 degree corner near singular points. A smart generalist might read it for insight into regularity results for free boundary problems that model fluid interfaces.","discovery_kind":"new_method","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"Reader correctly flagged the free-boundary setup as the weakest link; once that reduction is accepted, the Lipschitz hypothesis makes the 90° corner statement internally consistent and the proof strategy (local analysis near singular points) does not introduce further hidden assumptions that would falsify the claim.","tokens_in":1521,"tokens_out":241,"duration_ms":12712,"concrete_test":"Re-derive the free-boundary condition (equation relating the jump of the normal derivative of the stream function to the rotation speed) directly from the steady Euler equations in vorticity form, confirming that the sign-changing formulation holds without additional smoothness on the patch boundary.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim is a conditional regularity result: for Lipschitz uniformly rotating vortex patches, the free boundary forms a 90° corner at singular points. The reduction to a sign-changing free-boundary problem for the stream function is standard and the Lipschitz hypothesis is explicitly retained in the statement, so the argument does not rest on an unstated regularity bootstrap or an implicit smallness assumption that would be violated by the claimed conclusion.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript analyzes the sign-changing free boundary problem associated with uniformly rotating vortex patches for the 2D incompressible Euler equations. It proves that if such a patch is Lipschitz, then near singular boundary points the free boundary locally forms a 90° corner.","tokens_in":1557,"tokens_out":251,"duration_ms":12723,"significance":"If the result holds, it supplies a sharp geometric description of corner formation at singular points under an explicit Lipschitz hypothesis. This is a precise contribution to the regularity theory of elliptic free-boundary problems arising from fluid equations; the conditional statement avoids any implicit bootstrap and directly addresses the geometry of the boundary.","major_comments":[],"minor_comments":[{"comment":"The abstract states the main theorem clearly, but the introduction should include a brief comparison with known corner angles in related free-boundary problems (e.g., the classical Alt-Caffarelli or obstacle problems) to situate the 90° result.","section":null},{"comment":"Notation for the stream function and the angular velocity parameter should be introduced once in §1 and used consistently; occasional re-definition in later sections can be removed.","section":null}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the positive assessment of our manuscript on the boundary regularity of uniformly rotating vortex patches. The recommendation for minor revision is noted; however, the report contains no specific major comments requiring a point-by-point response.","responses":[],"tokens_in":971,"tokens_out":64,"duration_ms":9078,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"This paper's main result is that if a uniformly rotating vortex patch is Lipschitz, then its boundary forms a 90° corner near singular points. The claim is stated cleanly and stays conditional on the Lipschitz assumption, which avoids any bootstrap contradiction. The approach reduces the problem to a sign-changing free boundary problem for the stream function, a standard move for these rotating Euler solutions, and then extracts the angle from that setup. That reduction and the explicit angle are the concrete new pieces here. The work does well by keeping the hypothesis explicit rather than claiming a stronger regularity result that might not hold. The stress-test note confirms the argument does not rest on unstated smallness or hidden regularity that would be violated by the conclusion, so the outline looks consistent. Soft spots are limited. The abstract gives no proof details, so one cannot check the technical steps in the free boundary analysis or how they handle the sign-changing case near the corner. If those steps contain gaps, the result would need revision, but nothing in the framing suggests a load-bearing flaw. This is for specialists in mathematical fluid dynamics and free boundary problems for the Euler equations. A reader already working on vortex patches or elliptic free boundaries would get direct value from the angle result and the setup. It deserves a serious referee because the claim is precise, the method is grounded in existing techniques, and the conditional statement is reproducible in principle. I would send it to peer review.","headline":"The paper proves that Lipschitz uniformly rotating vortex patches form 90° corners at singular boundary points via reduction to a sign-changing elliptic free boundary problem.","tokens_in":2006,"tokens_out":359,"would_cite":false,"duration_ms":14835,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[],"headline":"Orthogonal PDE regularity result; no RS-shaped machinery","alignment":"orthogonal","rationale":"The paper's central tools (Weiss-type monotonicity formula Φ_{x0}(r), blow-up classification into homogeneous degree-2 solutions, 90° corner conclusion under Lipschitz hypothesis) are standard elliptic free-boundary analysis for the sign-changing problem −Δu = λ1 1_D − λ2 1_{D^c}. This has no structural overlap with RS forcing from a single distinction, the cost J(x) = ½(x + x⁻¹) − 1, φ-ladders, 8-tick periodicity, or parameter-free constant derivations. Domain is classical math.AP; RS theorems (e.g., reality_from_one_distinction, washburn_uniqueness_aczel, alexander_duality_circle_linking) neither confirm nor contradict the stated regularity claims.","tokens_in":56842,"confidence":"high","tokens_out":201,"duration_ms":6727,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Lipschitz uniformly rotating vortex patches form 90-degree corners at singular boundary points.","keywords":["vortex patches","free boundary problems","Euler equations","boundary regularity","rotating patches","incompressible fluids","sign-changing problems"],"falsifier":"A Lipschitz uniformly rotating vortex patch whose boundary fails to form a 90-degree corner at some singular point.","tokens_in":2413,"feed_emoji":"🌀","tokens_out":532,"duration_ms":14947,"temperature":0.7,"pith_summary":"This paper examines the sign-changing free boundary problem that arises from uniformly rotating vortex patch solutions of the two-dimensional incompressible Euler equations. It proves that if the patch is Lipschitz, its boundary must form a local 90-degree corner near any singular point. A sympathetic reader cares because this pins down the local geometry of these rotating fluid regions and rules out smoother or differently angled boundaries at singularities. The result constrains the possible shapes that such vortex patches can take while remaining solutions.","feed_headline":"Vortex patch boundaries form 90-degree corners at singularities","feed_subtitle":"If the patch is Lipschitz, singular points on uniformly rotating 2D Euler solutions must meet at right angles.","key_machinery":"The sign-changing free boundary problem for uniformly rotating vortex patches, which forces the boundary to meet at a right angle at singular points under the Lipschitz assumption.","core_discovery":"For the sign-changing free boundary problem related to uniformly rotating vortex patch solutions of the two-dimensional incompressible Euler equations, the boundary of the vortex patch locally forms a 90° corner near singular boundary points, provided the patch is Lipschitz.","pith_inferences":["The corner formation may link to the instability of the associated elliptic free boundary problem mentioned in the title.","Similar angle conditions could appear in other free-boundary problems for inviscid flows with sharp interfaces.","The Lipschitz hypothesis might be relaxed in future work while preserving the corner conclusion."],"forward_implications":["Singular points on the patch boundary cannot be smooth and must instead exhibit a precise right angle.","The result applies directly to solutions of the 2D Euler equations that rotate at constant angular velocity.","Boundary regularity is settled locally in the Lipschitz case, limiting the possible interface shapes.","The corner condition holds for any singular boundary point of such a patch."],"fun_headline_variants":["Lipschitz vortex patches form 90° corners at singularities","Rotating patches form 90° corners near boundary singularities","90° corners in vortex patch boundaries at singular points","Vortex patch singular points form 90° boundary corners"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"The vortex patch is assumed to be Lipschitz.","fun_headline_variants_meta":{"raw":{"variants":["Lipschitz vortex patches form 90° corners at singularities","Rotating patches form 90° corners near boundary singularities","90° corners in vortex patch boundaries at singular points","Vortex patch singular points form 90° boundary corners"]},"model":"grok-4.3","cost_usd":0.011829,"raw_usage":{"total_tokens":5065,"prompt_tokens":452,"num_sources_used":0,"completion_tokens":66,"cost_in_usd_ticks":118287000,"prompt_tokens_details":{"text_tokens":452,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4547,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":452,"tokens_out":66,"duration_ms":42168,"temperature":1.0,"reasoning_tokens":4547,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-24T08:49:36.478202+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A Lipschitz uniformly rotating vortex patch whose boundary fails to form a 90-degree corner at some singular point.","supporting_citations":[],"review_version":1}