{"id":"6e897961-63b3-4b2e-b182-4ea4b62e1c92","arxiv_id":"2604.12962","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Smooth 2D Euler steady states with multiple critical points can be perturbed to make vorticity non-functional in the stream function, yielding isolated branches of stable states unlike the analytic case.","lead":"The paper shows that unlike analytic steady states of the 2D incompressible Euler equations, smooth ones on bounded domains or the torus can be perturbed so that vorticity is not a single-valued function of the stream function, even with multiple critical points or stability conditions. This creates isolated branches of smooth steady states, some linearly stable, that cannot be reached from analytic ones.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"No significant objection identified","rationale":"The reader's weakest assumption correctly flags the existence of suitable perturbations, but the paper's claim is precisely that such constructions exist and are carried out. No load-bearing gap in the argument is visible that would require changing the UNVERDICTED verdict; full verification would still benefit from running the explicit check above.","tokens_in":1671,"tokens_out":350,"duration_ms":77910,"concrete_test":"Take the simplest base steady state with two critical points on the disk (as used in the main construction), apply the perturbation procedure, and directly verify that the output (ψ, ω) satisfies u · ∇ω = 0 exactly, that ω is constant on each streamline component, yet there exist x, y with ψ(x) = ψ(y) but ω(x) ≠ ω(y), while the fields remain C^∞ and the domain/boundary conditions are preserved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim rests on explicit constructions showing that smooth steady states of 2D Euler (satisfying u · ∇ω = 0 with ω = curl u) need not obey a global single-valued relation ω = f(ψ), even when the base state has multiple critical points and satisfies Morse or Arnold conditions. The analytic case forces the relation via continuation, but the smooth case permits different constant values of ω on distinct connected components of a level set {ψ = c}. The constructions perturb such base states while preserving the steady-state condition and smoothness; no internal inconsistency appears in the logic that would prevent this, and the isolation of resulting branches from analytic steady states follows from the non-functional character of the limit objects.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The paper claims that, unlike non-radial analytic steady states of the 2D incompressible Euler equations on bounded simply connected domains (which must satisfy a global functional relation ω = f(ψ)), smooth steady states need not obey this relation even when the base state has multiple critical points and satisfies the Morse condition or Arnold's stability criterion. A broad class of such base states can be perturbed to smooth steady states where vorticity is multi-valued on level sets of the stream function; an analogous flexibility result holds near the cellular flow on the flat torus. The constructions yield branches of smooth steady states isolated from analytic ones, some of which consist entirely of linearly stable equilibria.","tokens_in":1803,"tokens_out":543,"duration_ms":38673,"significance":"If the perturbation constructions and estimates hold, the result is significant for distinguishing the smooth and analytic categories in 2D Euler steady states. It supplies explicit examples of smooth steady states that violate the functional relation while remaining steady and smooth, produces isolated branches (including stable ones), and clarifies that analyticity forces the relation via continuation while smoothness permits different constant vorticity values on distinct components of a level set. The explicit constructions and isolation from analytic branches are concrete strengths.","major_comments":[{"comment":"§3 (perturbation construction): the central claim that small perturbations can be chosen to preserve the steady-state condition u · ∇ω = 0 while breaking single-valuedness of ω on {ψ = c} requires explicit verification that the resulting velocity remains divergence-free and the vorticity remains smooth; the manuscript should supply the precise function space estimates or fixed-point argument used to control the perturbation size.","section":"§3"},{"comment":"§4 (torus cellular flow): the degeneracy of the cellular flow requires a separate argument to handle the degenerate critical points; the manuscript should clarify whether the same perturbation technique applies directly or whether an additional desingularization step is needed, and whether the resulting states remain linearly stable.","section":"§4"}],"minor_comments":[{"comment":"Notation: the distinction between the base steady state (ω₀, ψ₀) and the perturbed state should be made uniform throughout; currently the subscript 0 is used inconsistently in the statements of the main theorems.","section":"§2"},{"comment":"Figure 1: the level sets of the perturbed stream function should be labeled to indicate the distinct connected components where ω takes different constant values.","section":"Figure 1"}],"recommendation":"minor_revision","confidential_remarks":null},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful reading of our manuscript and the constructive comments. We address each major comment below.","responses":[{"response":"We agree that the presentation in §3 would benefit from more explicit details on the function spaces and estimates. The construction begins with a base steady state (ψ₀, ω₀) satisfying the Morse condition. We select a smooth perturbation of ω that assigns distinct constant values to distinct connected components of the level sets {ψ₀ = c} for a finite collection of regular values c, while keeping ω unchanged near the critical points. The new stream function ψ is then recovered by solving the Poisson equation −Δψ = ω with the same boundary conditions as the base state. Because u = ∇^⊥ψ by definition, div u = 0 holds automatically. To ensure the perturbation remains small in C^∞ topology, we work in high-order Sobolev spaces H^k (k ≫ 1) on the domain and apply a contraction-mapping argument in a small ball around (ψ₀, ω₀); the Lipschitz constant of the map is controlled by the elliptic regularity of the Poisson operator and the fact that the level-set components remain separated for small perturbations. We will add a dedicated paragraph (or short subsection) in the revised §3 spelling out these estimates and the fixed-point setup.","revision_made":"yes","referee_comment":"[§3] §3 (perturbation construction): the central claim that small perturbations can be chosen to preserve the steady-state condition u · ∇ω = 0 while breaking single-valuedness of ω on {ψ = c} requires explicit verification that the resulting velocity remains divergence-free and the vorticity remains smooth; the manuscript should supply the precise function space estimates or fixed-point argument used to control the perturbation size."},{"response":"The cellular flow on the flat torus is indeed degenerate. Our argument in §4 first applies a small, explicit perturbation that splits each degenerate critical point into a pair of non-degenerate (Morse) critical points while preserving the steady-state relation and the cellular topology; this desingularization is performed in a neighborhood of the original critical points and is controlled in the same function spaces used on the bounded domain. Once the critical points are non-degenerate, the flexibility construction of §3 applies verbatim. Linear stability of the resulting states follows from a direct verification of Arnold’s criterion (or its toroidal analogue) on the perturbed vorticity, which remains a small perturbation of the original cellular vorticity; the second variation of the energy-Casimir functional stays positive definite. We will insert a short clarifying paragraph at the beginning of §4 that explicitly sequences the desingularization step, confirms that the §3 technique then applies directly, and records the stability check.","revision_made":"yes","referee_comment":"[§4] §4 (torus cellular flow): the degeneracy of the cellular flow requires a separate argument to handle the degenerate critical points; the manuscript should clarify whether the same perturbation technique applies directly or whether an additional desingularization step is needed, and whether the resulting states remain linearly stable."}],"tokens_in":1354,"tokens_out":659,"duration_ms":52152,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The central point is that analytic steady states of 2D Euler on simply connected domains must satisfy a global functional relation ω = f(ψ), but this is not required once we drop to smooth functions. The authors construct explicit perturbations of a broad class of base states that keep the flow steady and smooth while allowing different constant values of vorticity on distinct connected components of a level set. They do the same near the cellular flow on the torus, which is a degenerate case, and note that some of the resulting branches stay isolated from analytic ones and can even be linearly stable under Arnold-type conditions.","headline":"The paper shows that smooth 2D Euler steady states with multiple critical points can be perturbed to break the single-valued vorticity-stream function relation that analyticity forces.","tokens_in":2314,"tokens_out":196,"would_cite":false,"duration_ms":22197,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Cost/FunctionalEquation.lean","rs_theorem":"washburn_uniqueness_aczel","paper_passage":"We show that a broad class of steady states with multiple critical points can be perturbed to smooth steady states for which the vorticity is not a single-valued function of the stream function."},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/ArithmeticFromLogic.lean","rs_theorem":"LogicNat ≃ Nat recovery","paper_passage":"the equivalence of (1) and (3) in the analytic class"}],"headline":"2D Euler flexibility constructions (quasilinear transport perturbations breaking single-valued ω=f(ψ)) lie outside RS forcing chain","alignment":"orthogonal","rationale":"The paper's core machinery—quasilinearization of ∇⊥ψ·∇Δψ=0 via right inverses of Hamiltonian transport operators L_H, construction of Morse perturbations near Arnold-stable base states with approximately flat F, and isolation of smooth branches from analytic ones—operates entirely within classical PDE analysis on fluid domains. It neither deploys nor contradicts RS primitives such as the reciprocal cost J(x)=½(x+x⁻¹)−1, φ-ladder derivations, 8-tick periodicity, or the reality_from_one_distinction theorem. No ratio-symmetric cost, cosh-cost identities, or parameter-free constant emergence appear.","tokens_in":62756,"confidence":"high","tokens_out":338,"duration_ms":18001,"cache_read_input_tokens":38528,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Smooth steady states of the 2D incompressible Euler equation can be perturbed so vorticity is no longer a single-valued function of the stream function.","keywords":["2D Euler equation","steady states","vorticity","stream function","flexibility","perturbations","analytic vs smooth","Morse condition"],"falsifier":"A concrete example of a steady state with multiple critical points on a simply connected domain for which every C^infty perturbation that solves the Euler equation still forces vorticity to be a single-valued function of the stream function.","tokens_in":2558,"feed_emoji":"","tokens_out":652,"duration_ms":35048,"temperature":0.7,"pith_summary":"The paper studies steady solutions of the 2D Euler equations on bounded domains and the torus. Earlier results established that non-radial analytic steady states must satisfy a global functional relation between the vorticity and the stream function. The authors show this rigidity fails for smooth solutions: a broad class of steady states possessing multiple critical points admits small smooth perturbations that continue to solve the Euler equation yet break the single-valued dependence. The same flexibility holds near the cellular flow on the flat torus, a degenerate case. As a direct consequence the constructions produce branches of smooth steady states that remain isolated from all analytic ones, and some of these branches consist entirely of linearly stable flows.","feed_headline":"Smooth 2D Euler states break single-valued vorticity relation","feed_subtitle":"Perturbations of flows with multiple critical points produce smooth solutions where vorticity no longer depends only on the stream function,","key_machinery":"Perturbation constructions that preserve the Euler steady-state condition while breaking the single-valued functional dependence between vorticity and stream function.","core_discovery":"We show that a broad class of steady states with multiple critical points can be perturbed to smooth steady states for which the vorticity is not a single-valued function of the stream function. We also establish an analogous flexibility result near the cellular flow on the flat torus. As a consequence of our constructions, there are branches of smooth steady states that are isolated from analytic ones. In some cases, the resulting isolated branches can even consist entirely of linearly stable steady states.","pith_inferences":["The space of smooth Euler steady states is substantially larger and topologically more complicated than its analytic subset.","Numerical or physical flows may realize steady states whose vorticity-stream relation is multi-valued even when the underlying domain geometry looks simple.","Analyticity acts as a hidden rigidity mechanism; removing it opens new branches that remain linearly stable."],"forward_implications":["Branches of smooth steady states exist that are isolated from the analytic ones.","Some of these isolated branches consist entirely of linearly stable steady states.","The same flexibility holds for the cellular flow on the flat torus.","The Morse condition and Arnold stability criterion do not restore the functional relation in the smooth category."],"fun_headline_variants":["2D Euler states lose single-valued vorticity relation","Smooth 2D Euler states lack single-valued vorticity","2D Euler states with critical points show flexibility","Branches of smooth 2D Euler states isolated from analytic"],"cache_read_input_tokens":2112,"weakest_assumption_plain":"Small perturbations exist that keep the flow smooth and satisfy the Euler equation exactly while destroying the single-valued relation between vorticity and stream function.","fun_headline_variants_meta":{"raw":{"variants":["2D Euler states lose single-valued vorticity relation","Smooth 2D Euler states lack single-valued vorticity","2D Euler states with critical points show flexibility","Branches of smooth 2D Euler states isolated from analytic"]},"model":"grok-4.3","cost_usd":0.011019,"raw_usage":{"total_tokens":4740,"prompt_tokens":611,"num_sources_used":0,"completion_tokens":60,"cost_in_usd_ticks":110190500,"prompt_tokens_details":{"text_tokens":611,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":4069,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":611,"tokens_out":60,"duration_ms":77124,"temperature":1.0,"reasoning_tokens":4069,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-12T01:58:45.389084+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A concrete example of a steady state with multiple critical points on a simply connected domain for which every C^infty perturbation that solves the Euler equation still forces vorticity to be a single-valued function of the stream function.","supporting_citations":[],"review_version":2}