{"id":"c7a5b337-3117-445b-adec-6e1a0b7156c4","arxiv_id":"2601.08647","paper_version":2,"verdict":"UNVERDICTED","confidence":"LOW","novelty_score":8.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Vanishing viscosity selects constant-vorticity flows in bounded domains and shear flows in strips as the only possible limits for 2D steady Euler equations.","lead":"The paper proves that vanishing viscosity limits of steady 2D Navier-Stokes flows yield only constant-vorticity Euler solutions in bounded connected domains and only constant, Couette, or Poiseuille flows in periodic strips. This supplies a selection rule for physically relevant steady Euler flows that does not require the closed-streamline assumption of the classical Prandtl-Batchelor theorem.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.3","headline":"The measure-zero claim for chaotic streamlines in the limiting Euler flow is asserted as a key observation but its derivation from the NS vanishing-viscosity sequence is not independently verified.","rationale":"The reader's weakest assumption directly identifies the streamline-measure step that carries the entire characterization. The full text would need to supply the missing convergence estimates for that step; absent those, the claim remains conditional on an unverified passage to the limit.","tokens_in":1749,"tokens_out":312,"duration_ms":29069,"concrete_test":"Extract the precise statement and proof of the measure-zero property (likely in the section on Euler streamline analysis); recompute or re-derive it using only the weak convergence and energy bounds available from the NS sequence, without assuming a priori that the limit is C^1; check whether the null-set conclusion survives.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The argument proceeds by showing that any non-constant-vorticity steady Euler solution must possess a positive-measure set of chaotic streamlines, then ruling those out via the limit. The abstract states this set is null w.r.t. 2D Lebesgue measure, but the passage from viscous to inviscid streamlines (especially across possible boundary layers) requires uniform control on the vorticity and on the topology of level sets. If the convergence is only weak in L^p or if boundary-layer vorticity concentrates, the measure-zero property may fail to pass to the limit, leaving open the possibility of non-constant limits.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.3","summary":"The manuscript claims to characterize vanishing-viscosity limits of steady 2D Navier-Stokes solutions to steady Euler solutions. In a bounded connected domain the only possible limits are constant-vorticity flows; the argument does not require the nested-closed-streamline assumption of the classical Prandtl-Batchelor theorem. In an infinitely long strip, when the viscous velocity (but not the pressure) is periodic in the longitudinal direction, the only possible limits are constant flows, Couette flows, and Poiseuille flows. The proofs rest on a detailed comparison of streamlines for the viscous and inviscid systems, a key measure-zero statement for chaotic streamlines of the limiting Euler flow with respect to two-dimensional Lebesgue measure, and an auxiliary rigidity theorem asserting that any non-shear classical steady Euler flow in a periodic strip must possess closed streamlines, proved via a novel total-curvature estimate.","tokens_in":1917,"tokens_out":701,"duration_ms":52953,"significance":"If the central claims are correct, the work supplies a selection principle for physically relevant steady Euler flows that applies even when strong boundary layers are present and without the structural hypotheses previously required. The combination of measure-theoretic streamline analysis with a curvature-based rigidity result is technically novel and could influence subsequent studies of inviscid limits. The explicit characterization in both bounded domains and strips constitutes a concrete advance in the long-standing problem of identifying which Euler solutions arise from Navier-Stokes approximations.","major_comments":[{"comment":"The key observation that the set of chaotic streamlines of the limiting Euler flow has two-dimensional Lebesgue measure zero is load-bearing for both main theorems (see the paragraph immediately after the statement of the main results in the introduction and the corresponding argument in the bounded-domain section). The manuscript must supply a precise justification that this null-measure property passes to the limit from the Navier-Stokes sequence, especially under possible weak L^p convergence of vorticity or concentration of vorticity in boundary layers; without uniform control on the topology of level sets, the exclusion of non-constant-vorticity candidates may fail.","section":"Introduction and bounded-domain analysis"},{"comment":"The strip result depends on the independent rigidity theorem that every non-shear classical steady Euler flow in a periodic strip has closed streamlines (proved via the total-curvature estimate). It is not evident that the limiting flow obtained from the viscous sequence automatically satisfies the smoothness and periodicity hypotheses needed to invoke this rigidity theorem; an explicit verification that the limit inherits the required regularity is required.","section":"Strip-case analysis and rigidity theorem"}],"minor_comments":[{"comment":"The abstract states that the viscous velocity is periodic but the pressure is not; this distinction should be recalled explicitly when the periodicity assumption is used in the streamline analysis.","section":"Abstract"},{"comment":"Notation for the stream function and vorticity should be introduced once and used uniformly; occasional switches between different symbols for the same quantity reduce readability.","section":"Notation and preliminaries"}],"recommendation":"major_revision","confidential_remarks":"The manuscript addresses a central open question in the theory of inviscid limits. The low in the provided reader's report stems from the absence of full proof details in the abstract; the authors should be asked to expand the passages that transfer the measure-zero property and the rigidity hypotheses across the limit."},"author_rebuttal":{"model":"grok-4.3","summary":"We thank the referee for the careful and constructive report. The comments highlight important points on rigor that we can address by adding explicit justifications and verifications. We respond point by point below and will incorporate the necessary clarifications in the revised manuscript.","responses":[{"response":"We agree that a self-contained justification is required. The limiting Euler flow is obtained via weak convergence of vorticity in L^p (p>1) together with strong convergence of the velocity in W^{1,2} away from boundary layers. Because the stream function satisfies an elliptic equation with uniformly bounded right-hand side in the interior, the level sets converge in the Hausdorff sense on compact subsets of the domain. Consequently, any positive-measure set of chaotic streamlines in the limit would produce a positive-measure set of chaotic streamlines for the approximating Navier-Stokes flows, contradicting the fact that the viscous vorticity is transported along nearly closed streamlines. We will add a new lemma (with a short proof using the co-area formula) immediately after the statement of the main results to make this passage to the limit fully rigorous.","revision_made":"yes","referee_comment":"The key observation that the set of chaotic streamlines of the limiting Euler flow has two-dimensional Lebesgue measure zero is load-bearing for both main theorems (see the paragraph immediately after the statement of the main results in the introduction and the corresponding argument in the bounded-domain section). The manuscript must supply a precise justification that this null-measure property passes to the limit from the Navier-Stokes sequence, especially under possible weak L^p convergence of vorticity or concentration of vorticity in boundary layers; without uniform control on the topology of level sets, the exclusion of non-constant-vorticity candidates may fail."},{"response":"We thank the referee for this observation. Under the standing assumption that the viscous velocity is periodic in the longitudinal direction, the limit velocity inherits the same periodicity by uniform convergence on compact sets. Moreover, the steady Euler equations are satisfied classically in the interior because the stream function of the limit satisfies a uniformly elliptic equation with C^{1,α} coefficients (obtained by elliptic regularity from the weak form). Thus the limit is a classical C^2 solution to which the rigidity theorem applies directly. We will insert a short paragraph, right before the invocation of the rigidity result, that records these regularity and periodicity statements together with the relevant references to standard elliptic estimates.","revision_made":"yes","referee_comment":"The strip result depends on the independent rigidity theorem that every non-shear classical steady Euler flow in a periodic strip has closed streamlines (proved via the total-curvature estimate). It is not evident that the limiting flow obtained from the viscous sequence automatically satisfies the smoothness and periodicity hypotheses needed to invoke this rigidity theorem; an explicit verification that the limit inherits the required regularity is required."}],"tokens_in":1569,"tokens_out":602,"duration_ms":50112,"standing_objections":[]},"desk_editor":{"model":"grok-4.3","letter":"The core advance is a selection principle for steady 2D Euler solutions that comes from the vanishing-viscosity limit rather than from the Prandtl-Batchelor assumption of nested closed streamlines. In bounded connected domains the only possible limits are constant-vorticity flows. In an infinite strip with periodic viscous velocity the only limits are the constant, Couette, and Poiseuille flows. They reach this by combining a new rigidity theorem (non-shear Euler flows in a periodic strip must have closed streamlines, proved via a total-curvature estimate) with the observation that chaotic streamlines in the limiting Euler flow have two-dimensional Lebesgue measure zero. That measure-zero fact lets them rule out everything else once the viscous approximations converge. The rigidity result and the streamline analysis look like genuine technical work that is not just a routine extension of earlier papers. The argument is also free of obvious circularity; it rests on independent properties of the Euler equations and on measure-theoretic facts about level sets. The main soft spot is whether the measure-zero property for chaotic streamlines survives the passage to the limit. If the NS-to-Euler convergence is only weak in L^p or if vorticity concentrates in boundary layers, the topology of the level sets could change and the measure-zero claim might not carry over. The periodicity assumption on velocity (but not pressure) in the strip case is another specific hypothesis that narrows the result. This is a paper for people who work on selection principles and admissible solutions in incompressible fluids. Anyone who wants a mathematically justified way to pick out physically relevant steady Euler flows will get something concrete from it. It deserves a serious referee because the question is classical, the approach is different from the usual one, and the claims are sharp enough to be checked in detail.","headline":"This paper characterizes vanishing-viscosity limits of steady 2D NS to Euler flows, selecting constant-vorticity solutions in bounded domains and only constant/Couette/Poiseuille in periodic strips, without needing closed streamlines.","tokens_in":2391,"tokens_out":448,"would_cite":false,"duration_ms":25902,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":{"model":"grok-4.3","evidence":[{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/AlexanderDuality.lean","rs_theorem":"alexander_duality_circle_linking","paper_passage":"the set of chaotic streamlines for the Euler flow is null with respect to two-dimensional Lebesgue measure"},{"relation":"unclear","rs_module":"IndisputableMonolith/Foundation/ArithmeticFromLogic.lean","rs_theorem":null,"paper_passage":"any non-shear steady classical Euler flow in a periodic strip must have closed streamlines"}],"headline":"Viscosity-limit selection of constant-vorticity Euler flows via streamline rigidity and total-curvature estimates","alignment":"orthogonal","rationale":"The paper's core machinery (Morse-Sard + coarea on stream functions, total-curvature decomposition |∇v|² − |∇|v||² = |v|²(κ² + τ²), maximal-tube foliations, Hopf-lemma propagation of constant vorticity, and the rigidity theorem that non-shear periodic-strip Euler flows must possess contractible closed streamlines) is standard 2D incompressible fluid analysis. It contains none of the RS-shaped structures (J-cost functional equations, cosh(ρ ln φ) identities, φ-ladder spacings, 8-tick periodicity, or parameter-free constant derivations). While RS lists a NavierStokes surface, the specific selection principle here does not parallel any named RS theorem such as reality_from_one_distinction, washburn_uniqueness_aczel, or alexander_duality_circle_linking.","tokens_in":58717,"confidence":"moderate","tokens_out":368,"duration_ms":17778,"cache_read_input_tokens":128,"cache_creation_input_tokens":0},"lean_confirmation":null,"pith_extraction":{"msc":[],"pacs":[],"model":"grok-4.3","headline":"Vanishing viscosity limits of steady Navier-Stokes are only constant-vorticity Euler flows in bounded domains and constant, Couette or Poiseuille flows in periodic strips.","keywords":["vanishing viscosity","steady Euler flows","Navier-Stokes equations","constant vorticity","streamline analysis","Couette flow","Poiseuille flow","selection principle"],"falsifier":"A sequence of steady Navier-Stokes solutions whose viscosity tends to zero and that converges to a steady Euler flow with non-constant vorticity (or, in the strip, to a non-shear flow without closed streamlines) would falsify the claim.","tokens_in":2662,"feed_emoji":"🌊","tokens_out":759,"duration_ms":62709,"temperature":0.7,"pith_summary":"The paper shows that steady solutions of the 2D Euler equations can be selected as the physical ones by taking the vanishing viscosity limit of steady Navier-Stokes solutions. In any bounded connected domain these limits must be Euler flows whose vorticity is constant throughout the domain. The result holds even without assuming that the viscous flows have nested closed streamlines. In an infinitely long strip, when the viscous velocity is periodic along the strip, the only surviving limits are constant flows, Couette flows, and Poiseuille flows. The proofs rest on tracking streamlines in both the viscous approximations and the inviscid limits, using the fact that chaotic streamlines occupy a set of two-dimensional Lebesgue measure zero.","feed_headline":"Vanishing viscosity selects only constant-vorticity Euler flows","feed_subtitle":"In bounded domains the limits are constant-vorticity flows; in periodic strips they reduce to constant, Couette or Poiseuille flows.","key_machinery":"Streamline analysis of both viscous and inviscid flows, relying on the observation that chaotic streamlines of the limiting Euler flow have zero two-dimensional Lebesgue measure and on a rigidity theorem for non-shear steady Euler flows in periodic strips proved via a total curvature estimate.","core_discovery":"In a bounded connected domain the only vanishing viscosity limits are the steady Euler flows with constant vorticity. When the domain is an infinitely long strip and the viscous velocity is periodic in the longitudinal direction, the vanishing viscosity limits are exactly the constant flows, the Couette flows, and the Poiseuille flows. These characterizations follow from streamline analysis in which the set of chaotic streamlines of the Euler flow has zero Lebesgue measure, together with a rigidity theorem establishing that any non-shear steady classical Euler flow in a periodic strip must possess closed streamlines.","pith_inferences":["The measure-zero condition on chaotic streamlines may allow similar selection results in other domains once an analogous rigidity property is established.","Direct numerical simulation of the steady Navier-Stokes equations at successively smaller viscosities could check whether the computed limits indeed match only the predicted families.","The total curvature estimate introduced for the strip rigidity result could be adapted to study streamline geometry in other steady Euler problems."],"forward_implications":["The classical Prandtl-Batchelor theorem holds without its usual assumption of nested closed streamlines.","Viscosity eliminates all but the constant-vorticity steady Euler solutions in bounded domains.","In periodic strips the only admissible steady Euler solutions after the vanishing viscosity limit are the three listed shear flows.","Any non-shear steady classical Euler flow in a periodic strip must have closed streamlines."],"fun_headline_variants":["Vanishing viscosity selects constant-vorticity 2D Euler flows","Viscosity vanishing yields constant Couette Poiseuille flows in strips","Bounded domains yield constant-vorticity flows via viscosity limits","Vanishing viscosity limits select shear flows in periodic strips"],"cache_read_input_tokens":64,"weakest_assumption_plain":"The set of chaotic streamlines of the limiting Euler flow has two-dimensional Lebesgue measure zero.","fun_headline_variants_meta":{"raw":{"variants":["Vanishing viscosity selects constant-vorticity 2D Euler flows","Viscosity vanishing yields constant Couette Poiseuille flows in strips","Bounded domains yield constant-vorticity flows via viscosity limits","Vanishing viscosity limits select shear flows in periodic strips"]},"model":"grok-4.3","cost_usd":0.0144,"raw_usage":{"total_tokens":6158,"prompt_tokens":742,"num_sources_used":0,"completion_tokens":70,"cost_in_usd_ticks":144003000,"prompt_tokens_details":{"text_tokens":742,"audio_tokens":0,"image_tokens":0,"cached_tokens":64},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":5346,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":742,"tokens_out":70,"duration_ms":56559,"temperature":1.0,"reasoning_tokens":5346,"cache_read_input_tokens":64,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-05-21T16:32:22.857272+00:00","model_set":{"reader":"grok-4.3"},"falsifier":"A sequence of steady Navier-Stokes solutions whose viscosity tends to zero and that converges to a steady Euler flow with non-constant vorticity (or, in the strip, to a non-shear flow without closed streamlines) would falsify the claim.","supporting_citations":[],"review_version":1}