{"id":"75a43b96-6bae-44ab-8a7e-de1a1a111a69","arxiv_id":"2608.06899","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"For 2D Navier-Stokes shear flows on the beta-plane, long-wave stability is governed by a rotation-modified norm of the shear profile, with instability when that norm exceeds the viscosity.","lead":"This paper derives an explicit formula for the slowest-growing perturbation of a periodic shear flow on the rotating beta-plane, showing that planetary rotation can suppress the long-wave instability known for non-rotating flows. The result extends Yudovich's classical threshold to rotating flows and identifies a stability transition controlled by the ratio of rotation strength to perturbation wavelength.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The claimed sharp transition is proved only for K>ν in the critical scaling β=Kε; the weak-rotation regime K≤ν is excluded by hypothesis (1.9).","rationale":"The paper's main theorem is internally coherent: the Kato reduction, the explicit Sherman–Morrison resolvent, and the second-order expansion in Section 5 all point toward the stated formula, and the identity (1.11) correctly identifies the rotation-modified Yudovich norm. The proof as written, however, is genuinely conditional on ε<β/ν, and in the critical scaling this excludes exactly the weak-rotation regime K≤ν in which the 'sharp transition' is claimed. Since the abstract and Remark 1.2 advertise a transition governed by K, this is the most load-bearing limitation: a reader cannot conclude from the paper that the threshold (1.13) is sharp for all K, nor that weaker rotation permits the non-rotating instability to persist. The reader's weakest_assumption focuses on the basis assertion and normalization bound; those are real gaps but they are not the primary obstacle to the central claim, since Lemma 2.2's basis property is true by an elementary triangular-coefficient argument and (5.29) follows from the nonzero constant Fourier mode of V0. I therefore partially agree with the reader and keep the verdict CONDITIONAL: the result is likely correct in the stated regime, but the headline transition claim needs either an extension of the proof to K≤ν or a significant qualification in the abstract.","tokens_in":24138,"tokens_out":38259,"duration_ms":411747,"concrete_test":"Compute the principal eigenvalue of a Fourier-truncated version of L_{ε,Kε,1} for U=2 sin y, ν=1, K=0.5 (so K<ν), for ε=0.01,0.02,...,0.1. Compare Reλ with the formal prediction (ε²/ν)(-ν² + ||(∂yy - iK/ν)^{-1}U'||²). If Reλ is positive and matches the prediction for small ε, the hypothesis ε<β/ν is merely technical and the transition claim may extend; if Reλ is negative or deviates systematically, the sharp-transition claim fails in the excluded weak-rotation regime. A complementary analytic check is to prove the Γ0 resolvent bound using the exact Sherman–Morrison formula (2.7) without imposing β/(εν)>1.","verdict_should_be":"CONDITIONAL","load_bearing_attack":"The headline novelty is the sharp stability/instability transition (1.13) under the critical scaling β=Kε, stated in Remark 1.2 and the abstract. But Theorem 1.1 is proved only under ε<β/ν, which in this scaling is exactly K>ν. The whole perturbative argument depends on this hypothesis: (3.7) is used in Lemmas 3.1 and 3.2 to ensure the uniform resolvent bound (3.1) on the contour Γ0. If K≤ν, the circle Γ0 centered at μ0=-ε²+iK/ν comes within distance K/ν≤1 of the unperturbed eigenvalue -ε² of D_ε, so (3.1) fails and the estimates in Sections 3–5 are not justified. Thus the paper does not prove that weak rotation allows the non-rotating instability to persist, nor that the transition in (1.13) is sharp in that regime. The reader's flagged issues—the unproved basis property in Lemma 2.2 and the normalization lower bound in (5.29)—are real but appear readily fixable; this regime gap is the one that directly limits the central claim.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies the spectral stability of periodic shear flows for the two-dimensional Navier–Stokes equations on the beta-plane in the long-wave regime. The main result, Theorem 1.1, gives an asymptotic expansion for the principal eigenvalue of the linearized operator L_{ν,ε,β} under the hypotheses ε(1+β)/ν < δ_U and ε < β/ν. The expansion is given in (1.10), and in Remark 1.2 the authors specialize to the critical scaling β=Kε and derive an instability criterion in (1.13), which they interpret as a sharp transition between long-wave stability and instability governed by the ratio K. The proof follows the Kato reduction approach of Colombo, Dolce, Montalto, and Ventura, with new ingredients to handle the β-dependent shift of the principal eigenvalue.","tokens_in":24508,"tokens_out":12373,"duration_ms":126379,"significance":"The result is significant if it holds: it extends Yudovich's classical long-wave instability criterion and the recent rigorous proof in [10] to rotating flows, and it provides an explicit, falsifiable threshold depending only on the shear profile, the viscosity, and the ratio K under the critical scaling. The derivation is parameter-free in the sense that no constants are fitted and the threshold (1.13) is an inequality to be checked rather than a normalization. The main limitation is that the rigorous statement covers only the regime ε<β/ν, which under the critical scaling means K>ν; the full 'sharp transition' claim for all K remains unsupported, and two technical assertions in the proof (the basis property in Lemma 2.2 and the normalization lower bound in Section 5) are not fully justified.","major_comments":[{"comment":"The lower bound on the normalization factor is asserted without proof. Specifically, the claim that ∥(Id + iεν/β ∂_yy)^{-1}(U'' - β/(1+β))∥_{L²} has a uniform positive lower bound is not demonstrated, and this bound is needed to justify the O-term in (5.30) when passing from (5.28). Please provide a proof, for example by separating the constant Fourier mode from the nonzero modes and using the fact that εν/β < 1 to lower-bound the nonzero-mode contributions.","section":"Section 5, Eq. (5.29)"},{"comment":"The proof of Lemma 2.2 establishes only that the displayed vectors are eigenvectors and are linearly independent; it does not prove that they form a basis of L²(T). Since the spectral decomposition (4.13)–(4.14) and the isomorphism argument in Section 4 rely on this basis property, either prove the density of the span (e.g., by decomposing each f into its zero and nonzero Fourier modes) or cite a Riesz-basis theorem for rank-one perturbations of diagonal operators.","section":"Lemma 2.2"},{"comment":"The sharp stability/instability transition under β=Kε is stated without the restriction K>ν, but Theorem 1.1 is proved only under ε<β/ν, which in this scaling is equivalent to K>ν. For K≤ν, the contour Γ0 in Section 3 approaches the unperturbed eigenvalue -ε² within distance at most 1, so the resolvent bound (3.1) and all subsequent estimates (Lemmas 3.1, 3.2, 4.1, and the expansion in Section 5) are not justified. The claims about 'weaker rotation allows it to persist' and the 'sharp transition' should be limited to the K>ν regime unless the K≤ν case is analyzed.","section":"Remark 1.2 and abstract"}],"minor_comments":[{"comment":"The word 'defintion' should be 'definition'.","section":"Section 2, Lemma 2.1 proof"},{"comment":"The phrase 'an densely defined' should be 'a densely defined'.","section":"Lemma 2.3 statement"},{"comment":"In the decomposition of V1, the first two terms are both labeled V_{1,2}; the second should be V_{1,1} to match the subsequent comparison v_{1,1}=νμ0 V_{1,1} and v_{1,2}=νμ0 V_{1,2}.","section":"Section 5, expansion of V1"},{"comment":"The phrase 'for δ_U, β sufficiently small' is inaccurate; the smallness condition is ε(1+β)/ν < δ_U, and the parameter β itself need not be small. Reword to 'for δ_U and ε(1+β)/ν sufficiently small'.","section":"Lemma 4.1 proof"},{"comment":"The phrase 'has the lower bound' should be accompanied by an explicit lower bound or a reference to a separate lemma, since the subsequent normalization step depends on this quantitative statement.","section":"Section 5, after Eq. (5.29)"}],"recommendation":"major_revision","confidential_remarks":"The paper is within the scope of the journal and the perturbative scheme is coherent. The main concern is that the claimed sharp transition overreaches the proved regime: the theorem only covers K>ν under the critical scaling, while the abstract and Remark 1.2 suggest a complete transition for all K. The unproved basis property and normalization lower bound are fixable but should be addressed. If the authors restrict the claims appropriately or extend the analysis, the paper could be acceptable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper extends the non-rotating long-wave instability theory of Colombo–Dolce–Montalto–Ventura to the beta-plane, and that extension is meaningful. The eigenvalue expansion (1.10) and the modified Yudovich threshold (1.13) are genuinely new, and the observation that fixed positive rotation suppresses long-wave instability (for small enough epsilon) is a solid, likely correct result. The authors track the beta-dependence through the resolvent estimates carefully, and the cancellation structure they exhibit in the second-order expansion is plausible and well explained.\n\nThe main soft spot is a gap between what the abstract claims and what the theorem proves. Theorem 1.1 is stated under the hypothesis epsilon < beta/nu, which under the critical scaling beta = K epsilon is exactly K > nu. So the paper proves the sharp transition only in the strong-rotation regime. The weak-rotation regime K <= nu is excluded by the very condition used to make the resolvent bounds work: the contour Gamma_0 around mu_0 comes within distance K/nu <= 1 of the unperturbed eigenvalue -epsilon^2, and the uniform estimate (3.1) fails. The abstract saying the criterion 'reveals a sharp transition' and Remark 1.2 saying weaker rotation allows instability to persist overstate what is actually proved. This is the one load-bearing limitation; the rest are addressable.\n\nThere are also two unproved assertions that the reader flagged and that are real, but minor relative to the above. Lemma 2.2 asserts a basis property without proof; the preceding argument only shows linear independence, not completeness. The proof likely needs only finite-dimensional spectral projections, which follow from isolated eigenvalues and compact resolvent, so this may be removable. The lower bound on ||V_0|| used in (5.29) is asserted without a quantitative argument; it looks true since as epsilon -> 0 the relevant expression converges to ||(U''-beta)/(1+beta)||^2 > 0, but it should be written out. There are also typos (e.g., the repeated label V_{1,2}) that should be cleaned up.\n\nBottom line: the central eigenvalue expansion is probably correct in the regime where it is proven, and the paper deserves serious referee time. A referee should push for a precise statement of what is and is not proven for K <= nu, and for justification (or removal) of Lemma 2.2 and the normalization lower bound. The paper would be a useful contribution after those revisions.","headline":"A real extension of the long-wave instability theory to the beta-plane, but the advertised sharp transition is only proven for K > nu; the weak-rotation regime is left open.","tokens_in":24903,"tokens_out":5656,"would_cite":true,"duration_ms":56747,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["76E05","76E09"],"pacs":[],"model":"deepseek-v4-flash","headline":"Planetary rotation suppresses the long-wave shear instability on the β-plane, and the paper derives a sharp threshold when rotation and wavelength scale together.","keywords":["long-wave instability","beta-plane","Navier-Stokes equations","shear flows","spectral stability","Kato reduction","Yudovich criterion","asymptotic expansion"],"falsifier":"Numerically compute the spectrum of the linearized operator for a concrete profile such as U(y) = sin y under the scaling β = Kε: if an eigenvalue with positive real part appears while the criterion ‖(∂_yy − iK/ν)^{-1} U'‖_{L²} ≤ ν holds, or if instability persists for fixed β > 0 at arbitrarily small ε, the expansion would be contradicted. A more targeted check is to compute the condition number of the eigenfunction family in Lemma 2.2 over a range of ε and β to test the unproved basis assertion.","tokens_in":23921,"feed_emoji":"🌀","tokens_out":10986,"duration_ms":103440,"temperature":0.7,"pith_summary":"This paper asks whether planetary rotation can tame the long-wave instability that makes generic periodic shear flows in two-dimensional viscous fluids unstable to very long perturbations. It shows that on the β-plane the Coriolis term modifies the leading-order spectral mechanism: for fixed positive rotation β and viscosity ν, every mean-zero shear profile U becomes linearly stable to all sufficiently long waves. Under the critical scaling β = Kε, where rotation and inverse wavelength are comparable, the paper derives an explicit instability threshold $\\|(\\partial_{yy} - iK/\\nu)^{-1} U'\\|_{L^2} > \\nu$, generalizing the classical non-rotating criterion. The proof is a perturbative Kato reduction that expands the principal eigenvalue of the linearized operator to second order in the long-wave parameter.","feed_headline":"Beta-plane rotation suppresses long-wave shear instability","feed_subtitle":"New asymptotic analysis finds the rotation level at which shear-flow instability switches on and off.","key_machinery":"The central object is the Fourier-reduced linearized operator $L_{\\nu,\\varepsilon,\\beta} = M_{\\nu,\\varepsilon,\\beta} - i\\varepsilon R_{\\varepsilon,\\beta}$ acting on $L^2(\\mathbb{T})$, where $M_{\\nu,\\varepsilon,\\beta} = \\nu(\\partial_{yy} - \\varepsilon^2) - \\frac{i}{\\varepsilon}(U'' - \\beta)\\Pi_0$ is the unperturbed leading-order piece and $R_{\\varepsilon,\\beta}$ is the remainder. The argument uses Riesz projections and Kato's reduction to transfer the one-dimensional eigenspace of $M_{\\nu,\\varepsilon,\\beta}$ to that of $L_{\\nu,\\varepsilon,\\beta}$, then expands the eigenvalue by contour integrals and residue computations. The rotation-modified inverse operator $(\\partial_{yy} - \\frac{i\\beta}{\\varepsilon\\nu})^{-1}$ replaces the singular $\\partial_{yy}^{-1}$ of the non-rotating problem and is what makes the stability threshold depend on the ratio $K$.","core_discovery":"The central claim is Theorem 1.1: for a mean-zero profile U, if ε(1+β)/ν is sufficiently small and ε < β/ν, then the linearized β-plane operator has a simple eigenvalue whose real part is $\\frac{\\varepsilon^2}{\\nu}\\big[-\\nu^2 - \\langle U, (\\partial_y^4 + \\frac{\\beta^2}{\\varepsilon^2\\nu^2})^{-1} U''\\rangle + O(\\frac{\\varepsilon}{\\nu}(1+\\beta)^3)\\big]$. Because the inner-product term is bounded by a constant times ε²ν²/β², fixed positive rotation forces this real part to be negative for sufficiently small ε, so rotation suppresses the long-wave instability that occurs when β = 0. Under the critical scaling β = Kε, the expansion reduces to the sharp criterion $\\|(\\partial_{yy} - iK/\\nu)^{-1} U'\\|_{L^2} > \\nu$ for instability, so the ratio K determines whether long-wave perturbations grow or decay. This is presented as the rotating-flow extension of the classical Yudovich threshold.","pith_inferences":["One could test the threshold numerically for a concrete profile such as U(y) = sin y by computing the L² norm of (∂_yy − iK/ν)^{-1} U' and checking whether unstable eigenvalues appear exactly on the predicted side of the curve.","The mechanism suggests that rotation introduces dispersion at zero frequency rather than merely extra damping, so the same competition between shear, viscosity, and rotation may reappear near other coherent structures such as Kolmogorov flows or zonal jets.","If the spectral criterion is sharp, one expects nonlinear instability above the threshold and some form of nonlinear stability below it, although the paper does not analyze the nonlinear dynamics.","The shape of the criterion resembles a Rayleigh–Kuo-type condition with a complex-modified operator, hinting that the viscous threshold may connect to inviscid barotropic instability in the high-Reynolds limit."],"forward_implications":["For any fixed mean-zero profile, positive rotation and viscosity, all sufficiently long-wave perturbations are linearly stable, in contrast to the non-rotating case.","Under the critical scaling β = Kε, instability occurs precisely when the rotation-modified norm of U' exceeds ν; below that threshold the flow is linearly stable.","Setting β = 0 recovers the known non-rotating long-wave instability criterion and the corresponding eigenvalue expansion.","All non-principal modes remain stable: each eigenvalue near −ν(j² + ε²) stays within distance ν/2 of its unperturbed value.","The expansion gives an explicit leading-order formula for the growth or decay rate of the most dangerous mode in terms of U, ν, and β."],"supporting_citations":[{"why":"Supplies the non-rotating long-wave instability result and the Kato-reduction approach that the paper adapts to rotation.","marker":"[10]"},{"why":"Gives the classical formal long-wave instability criterion for non-rotating shear flows that the paper extends.","marker":"[35]"},{"why":"Provides the perturbation theory underlying the reduction from the unperturbed to the full operator.","marker":"[22]"},{"why":"Supplies the Sherman-Morrison resolvent formula used to invert the leading-order operator.","marker":"[11]"}],"fun_headline_variants":["Rotation tames long-wave instability in beta-plane shear flow","Sharp rotation threshold for shear-flow stability found","Coriolis effect quenches long-wave shear instability","Yudovich threshold extended to rotating beta-plane flows","Beta-plane rotation flips shear-flow instability switch"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The argument assumes without proof that the eigenvectors of the leading-order operator listed in Lemma 2.2 form a basis of L²(T) with controlled constants, and it also assumes a quantitative lower bound on the normalization factor; if either fails, the spectral projections and the eigenvalue expansion are not fully justified.","fun_headline_variants_meta":{"raw":{"variants":["Rotation tames long-wave instability in beta-plane shear flow","Sharp rotation threshold for shear-flow stability found","Coriolis effect quenches long-wave shear instability","Yudovich threshold extended to rotating beta-plane flows","Beta-plane rotation flips shear-flow instability switch"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000305,"raw_usage":{"total_tokens":1752,"prompt_tokens":946,"completion_tokens":806,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":562,"completion_tokens_details":{"reasoning_tokens":731}},"tokens_in":562,"tokens_out":806,"duration_ms":8256,"temperature":1.0,"reasoning_tokens":731,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-10T18:42:50.811862+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Numerically compute the spectrum of the linearized operator for a concrete profile such as U(y) = sin y under the scaling β = Kε: if an eigenvalue with positive real part appears while the criterion ‖(∂_yy − iK/ν)^{-1} U'‖_{L²} ≤ ν holds, or if instability persists for fixed β > 0 at arbitrarily small ε, the expansion would be contradicted. A more targeted check is to compute the condition number of the eigenfunction family in Lemma 2.2 over a range of ε and β to test the unproved basis assertion.","supporting_citations":[{"cited_title":"Colombo, M","cited_arxiv_id":null,"evidence_quote":"Supplies the non-rotating long-wave instability result and the Kato-reduction approach that the paper adapts to rotation."},{"cited_title":"Yudovich","cited_arxiv_id":null,"evidence_quote":"Gives the classical formal long-wave instability criterion for non-rotating shear flows that the paper extends."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Provides the perturbation theory underlying the reduction from the unperturbed to the full operator."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the Sherman-Morrison resolvent formula used to invert the leading-order operator."}],"review_version":1}