{"id":"f8d0ee70-e924-40ab-9504-e9a4ad5b591e","arxiv_id":"2412.11005","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":4,"one_line_summary":"For the 3D Navier-Stokes-Coriolis equations at rotation strength matching the Couette shear rate, perturbations of size δ Re^{-2} in H^σ with σ>9/2 remain bounded, yielding a γ=2 stability threshold.","lead":"This paper proves that small perturbations of the Couette shear flow in a rotating three-dimensional fluid stay close to the flow for all time when the initial size is below a Reynolds-number-dependent threshold. A generalist should care because it quantifies how rotation can destabilize a canonical shear flow and extends a central line of rigorous results on hydrodynamic stability.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"The paper proves the upper-bound stability result ε<δν², but the advertised claim that γ=2 is the stability threshold is not established because no nonlinear instability (or even a lower-bound mechanism) is provided.","rationale":"I read the paper in good faith and checked the main bootstrap structure: the linear analysis in Section 3 is internally consistent, the good unknowns Ǩ^1,Ǩ^2 correctly symmetrize the linear coupling, and the energy estimates in Sections 5–7 close under the bootstrap hypotheses, assuming ε≤δν² and the standard paraproduct and multiplier bounds. I also verified the formulas in Lemma 4.1 by integrating (4.3): the displayed expressions (4.5)–(4.6), the lower bound ν^{2/3}≲m≤1, and (4.8) follow from the ODE, so importing that lemma from [1] is not a genuine flaw. The ghost multiplier M and Corollary 4.1 are also standard and appear with the correct powers. Thus the main technical concern raised in the reader’s verdict does not, in my assessment, land. The actual load-bearing issue is different and more central: the paper’s own definition of the stability threshold requires both an upper and a lower bound, but Theorem 1.2 only proves stability for ε<δν². The linear lift-up growth quoted in Remark 4.6 cannot establish nonlinear instability, since nonlinear terms may saturate before transition. Therefore the claim that γ=2 is the threshold exponent is unsupported. This is a genuine concern about the central advertised result, though it does not undermine the validity of Theorem 1.2 as an upper-bound stability result. The reader’s CONDITIONAL verdict remains appropriate; my read does not change the verdict.","tokens_in":55466,"tokens_out":30579,"duration_ms":255559,"concrete_test":"Perform a single-mode nonlinear check at the claimed threshold: take initial perturbation u^1_in = cν² e^{ix} sin(y) sin(z) (with c a fixed constant, all other components zero) and track the closed system of the zero mode u^{2,3}_0 and the first nonzero mode up to t≈ν^{-1}. Using the linear evolution (1.20), u^{2,3}_0 grow to size O(ν). Compute the first nonlinear feedback term in the U^3_≠ equation, e.g. U^2_0 ∂_Y U^3_≠, and compare its integrated contribution to the enhanced-dissipation term ν‖∇_L U^3_≠‖² over the time window t∈[ν^{-1/3}, ν^{-1}]. If this cubic feedback is smaller than the dissipation for all c below some constant, then the asserted lower bound γ=2 is not demonstrated by the cited lift-up mechanism. If the feedback can exceed dissipation for some c, it would supply the missing instability threshold.","verdict_should_be":"UNCHANGED","load_bearing_attack":"Section 1.1 defines the stability threshold via two requirements: stability for ‖u_in‖_{H^σ} ≲ ν^γ and instability for ‖u_in‖_{H^σ} ≫ ν^γ. Theorem 1.2 supplies only the first half: for ε<δν² the perturbed solution is global with bounds (1.23)–(1.26). The second half is never proved. Remark 4.6 asserts that 'the threshold index 2 ... cannot be replaced by other real numbers less than 2, due to the lift-up effect in the direction of u^{2,3}_0', but the linear lift-up growth in (1.20), which gives ‖u^{2,3}_0‖_{L∞H^σ} ≲ εν^{-1}, is only a growth mechanism; it does not by itself imply nonlinear instability. At the claimed threshold ε=ν², the linear growth reaches size ν, which is still small, and nonlinear saturation could prevent transition. Without a lower-bound construction, the statement in the abstract and Remark 4.6 overclaims. This does not invalidate the upper-bound theorem, but it means the central advertised claim 'stability threshold exponent γ=2' is unsupported. The reader’s concern about imported multiplier lemmas (Lemma 4.1 and Lemma 4.2) is less compelling: the formulas (4.5)–(4.8) follow by direct integration of (4.3), and the ghost-multiplier properties are standard from [1,20]; those imports do not appear to be the actual soft spot.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the 3D Navier–Stokes–Coriolis system (1.1) with rotation strength β=1 on T×R×T, near the Couette flow (y,0,0). Section 3 treats the linearized problem and obtains explicit enhanced-dissipation, inviscid-damping, and lift-up estimates (Theorem 1.1). Sections 4–7 develop a bootstrap argument using new unknowns ˇK^1,ˇK^2 and Fourier multipliers m,M to prove Theorem 1.2: if the initial perturbation satisfies ‖u_in‖_{H^σ} ≤ δν² for σ>9/2, then the solution is global and satisfies the bounds (1.23)–(1.26). The paper presents this as establishing the stability threshold γ=2.","tokens_in":55804,"tokens_out":11477,"duration_ms":114148,"significance":"If the upper-bound theorem is correct, this is a substantial technical advance over the authors' previous work [18] in the resonant case β=1, where rotation produces lift-up in two directions. The linear part is explicit and checkable: the symmetrization (3.5) and the exact zero-mode solution (1.20) are valuable, and the nonlinear bootstrap is detailed and closely follows the BGM template. The new unknowns ˇK^1,ˇK^2 are a sensible device for handling the linear coupling. However, the advertised threshold statement is one-sided: the paper proves stability for ε≲ν² but does not prove instability for ε≫ν². Since Section 1.1 explicitly defines the threshold by both stability and instability, and since at ε=ν² the linear lift-up growth is only O(ν), Remark 4.6 does not supply the missing lower bound. The stability theorem itself remains significant, but the optimality claim as written is not established.","major_comments":[{"comment":"The abstract and Remark 4.6 assert that γ=2 is the stability threshold and that this exponent 'cannot be replaced by other real numbers less than 2.' Section 1.1 defines the threshold by two requirements: stability for ‖u_in‖_{H^σ}≲ν^γ and instability for ‖u_in‖_{H^σ}≫ν^γ. Theorem 1.2 proves only the first half, and only with the small constant δ in ε<δν². No nonlinear instability construction, and no lower-bound mechanism at or above the threshold, is provided. The linear lift-up estimate (1.20) gives growth of u^{2,3}_0 of size εν^{-1}; at the claimed threshold ε=ν² this is only O(ν), which is still small and does not imply transition or preclude nonlinear saturation. The assertion in Remark 4.6 is therefore unsupported. The paper should be reframed as proving the upper bound γ≤2, or else the instability half of the threshold definition should be proved.","section":"§1.1, Theorem 1.2, Remark 4.6"},{"comment":"Lemma 4.1 is load-bearing: the lower bound (4.7) and the inequality (4.8) are used throughout Sections 5–6, for example in the estimates of N LS2 and N LP. The manuscript states that this multiplier is 'a known conclusion' from [1] and that the proof process is ignored. I did not find a numerical error, and the formulas (4.5)–(4.6) appear to follow by direct integration of (4.3), but because the coefficient in the stretching term of (4.1) is 2 and the precise form of m matters for every nonlinear estimate, the authors should include the short direct verification or state exactly which statement in [1] covers this ODE. As written, the proof of a central lemma is only a citation.","section":"Section 4.1, Lemma 4.1"}],"minor_comments":[{"comment":"The sentence 'The proof of Theorem 1.1 follows directly from Proposition 4.2' should refer to Theorem 1.2, since Theorem 1.1 is proved in Section 3.","section":"§4.2"},{"comment":"The claim that 'ι=1/3 is optimal' is not proved; the displayed calculation only shows that the bootstrap closes for ι≥1/3 and that the proof gives ι∈[1/3,1/2]. The word 'optimal' should be replaced by 'sufficient' or justified with a separate argument.","section":"Remark 4.3"},{"comment":"The constant-selection paragraph is confusing: it refers to a universal constant C̄=C̄(δ) before δ has been chosen, and then says δ is chosen last. Please spell out the order of choice: fix C1, then C0, then δ, and state which conditions are used in each step.","section":"§4.3"},{"comment":"For readability, include a sentence explaining that (4.5)–(4.6) are obtained by integrating (4.3) and that the lower bound (4.7) follows from the ratio k²+l² over k²+(η-kt)²+l², so the reader does not have to reconstruct the proof from [1].","section":"Lemma 4.1"},{"comment":"There are several typographical artifacts in the preprint, such as '/greaterorequalslant', '/lessorequalslant', and missing minus signs in displayed equations. These should be cleaned before publication.","section":"Throughout"}],"recommendation":"major_revision","confidential_remarks":"The main theorem appears to be a sound upper-bound stability result, and the linear analysis is a concrete contribution. The problem is the mismatch between the proved statement and the advertised threshold: no instability side is proved, and Remark 4.6's optimality claim is not supported. I would not reject the paper, because the upper-bound theorem is defensible and the fix may be achieved by rephrasing the claims as 'stability for ε≲ν²' or 'γ≤2'. If the authors insist on claiming optimality of γ=2, a substantially new lower-bound or instability argument would be required."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"The paper proves a real result: for 3D Navier-Stokes-Coriolis near Couette at the resonant rotation rate β=1, perturbations of size ε ≤ δν² stay global and satisfy the expected lift-up, enhanced dissipation, and inviscid damping bounds. The genuinely new ingredient is the pair of good unknowns Ǩ¹, Ǩ², which symmetrize the linear coupling that appears exactly at β=1. That is a structural idea, not a cosmetic one, and the linear analysis in Section 3 is explicit and checkable. The nonlinear bootstrap is a careful extension of the Bedrossian-Germain-Masmoudi framework with Liss's ghost multiplier, and the energy estimates appear to close along the standard template.\n\nThe soft spot is the claim, in the abstract and Remark 4.6, that γ=2 is the stability threshold. Section 1.1 defines the threshold by two requirements: stability for ‖u_in‖ ≲ ν^γ and instability for ‖u_in‖ ≫ ν^γ. Theorem 1.2 supplies only the first half. Remark 4.6 asserts that the exponent cannot be replaced by anything smaller, citing the linear lift-up effect. But linear growth does not imply nonlinear instability, and at ε=ν² the lift-up growth is only O(ν), which is small. The lower-bound half of the threshold is simply not proved. This is not fatal to Theorem 1.2 as an upper-bound stability theorem, but it does mean the advertised phrase \"stability threshold exponent γ=2\" overreaches.\n\nI disagree with the reader's stress-test on one point: Lemma 4.1 is not the real soft spot. The formulas (4.5)–(4.6) follow by direct integration of the ODE (4.3), and the lower bound m ≳ ν^{2/3} is straightforward. It would be better to include the derivation, but importing it from [1] is not a load-bearing gap. The ghost multiplier lemma is also standard in this literature.\n\nMinor issue: the constant-choice paragraph writes δ ≥ εν^{-2} and then says the constants are chosen small. The inequality is just the bootstrap hypothesis, not a choice, and the expression \"δ\" in \\bar C(δ) is confusingly overloaded. This is cosmetic rather than substantive.\n\nWho is this for? Specialists in hydrodynamic stability, especially people working on thresholds with rotation or other body forces. The paper is long and technical, but it is written in a recognizable style and the main mechanism is coherent. It deserves a serious referee. My recommendation: accept it for review, but ask the authors to either soften the optimality claim to an upper threshold or produce a genuine instability argument.","headline":"Solid upper-bound stability proof at the resonant β=1 rotating Couette case with a genuinely new pair of good unknowns; the paper overstates the threshold by omitting the instability half.","tokens_in":56374,"tokens_out":3402,"would_cite":true,"duration_ms":32414,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","76U05","76E07","76F10"],"pacs":[],"model":"deepseek-v4-flash","headline":"Theorem 1.2 establishes stability threshold γ=2 for rotating 3D Couette flow.","keywords":["Navier-Stokes equations with rotation","Couette flow","Lift-up effect","Stability threshold","Enhanced dissipation","Inviscid damping","Coriolis force","Sobolev regularity"],"falsifier":"Integrate the ODE (4.3) numerically for $k=1$, $l=0$, $\\eta=0$ over $t\\in[0,1000\\nu^{-1/3}]$ and check whether $m(t)\\ge c\\nu^{2/3}$ and $m(t)\\ge (k^2+l^2)/(k^2+(\\eta-kt)^2+l^2)$ hold pointwise for a universal $c$; one counterexample frequency would invalidate Lemma 4.1 and collapse the bootstrap proof of Theorem 1.2.","tokens_in":55225,"feed_emoji":"🌀","tokens_out":11141,"duration_ms":96157,"temperature":0.7,"pith_summary":"Rotation changes how much perturbation a shear flow can absorb before turbulence sets in. This paper studies the 3D Navier-Stokes-Coriolis equations on $\\mathbb{T}\\times\\mathbb{R}\\times\\mathbb{T}$ near the Couette flow $(y,0,0)$ at the resonant rotation rate $\\beta=1$, where the Coriolis force and the background shear have equal strength. Its central claim is that this flow is stable with threshold exponent $\\gamma=2$: if the initial perturbation has $H^\\sigma$ norm $\\varepsilon<\\delta\\nu^2$, with $\\sigma>9/2$ and $\\nu=\\mathrm{Re}^{-1}$, then the solution is global and satisfies the bounds (1.23)-(1.26), whereas the non-rotating 3D Couette threshold is known to be $\\gamma=1$. The extra power of $\\nu$ is caused by the rotation-induced lift-up effect acting in both the $u^2_0$ and $u^3_0$ directions, together with a linear coupling term that prevents direct energy estimates on $Q^1$ and $Q^2$. The paper's response is to introduce two new 'good unknowns' that symmetrize the linear system and let the bootstrap close.","feed_headline":"Rotating Couette flow is stable below perturbation size ν²","feed_subtitle":"At rotation strength equal to the shear, the double lift-up effect forces a threshold of ν² rather than ν.","key_machinery":"The moving frame $X=x-ty$, $Y=y$, $Z=z$ gives $\\nabla_L=(\\partial_X,\\partial_Y-t\\partial_X,\\partial_Z)$ and $\\Delta_L=\\partial_X^2+(\\partial_Y-t\\partial_X)^2+\\partial_Z^2$. The central objects are the two good unknowns $\\check K^1=-|\\nabla_{X,Z}|\\,|\\nabla_L| U^1$ and $\\check K^2=-|\\partial_X|\\,|\\nabla_L| U^2$; they turn the coupled linear equations for $Q^1,Q^2$ into the skew-symmetric pair (4.13)-(4.14), so the dangerous term $Q^1-\\partial^L_{YY}U^1$ cancels in the energy identity. Two Fourier multipliers carry the viscous-stretching competition: $m$, defined by an ODE that activates on the $\\nu^{-1/3}$ window where stretching overcomes dissipation, and the ghost multiplier $M$ with bounds from Lemma 4.2, which produces the dissipation term $\\sqrt{-\\dot M M}$ used in Corollary 4.1. These objects make every nonlinear term in Sections 5–7 controllable by the bootstrap hypotheses.","core_discovery":"The paper's central result, Theorem 1.2, states that for $\\nu\\in(0,1)$ and $\\sigma>9/2$ there is a $\\delta=\\delta(\\sigma)>0$ such that any divergence-free $u_{\\mathrm{in}}\\in H^\\sigma$ with $\\varepsilon=\\|u_{\\mathrm{in}}\\|_{H^\\sigma}<\\delta\\nu^2$ produces a unique global solution of the perturbation equation (1.3). The solution obeys $\\|u^1_0\\|_{L^\\infty H^\\sigma}+\\nu^{1/2}\\|\\nabla u^1_0\\|_{L^2H^\\sigma}\\lesssim\\varepsilon$, $\\|u^{2,3}_0\\|_{L^\\infty H^\\sigma}+\\nu^{1/2}\\|\\nabla u^{2,3}_0\\|_{L^2H^\\sigma}\\lesssim\\varepsilon\\nu^{-1}$, and the nonzero-frequency bounds (1.25)-(1.26) with inviscid damping and enhanced dissipation rates $\\nu^{1/6}$ or $\\nu^{1/2}$. Equivalently, the stability threshold is $\\gamma=2$: initial data below $\\delta\\nu^2$ remain close to Couette for all time, with the only large factor $\\nu^{-1}$ appearing exactly where the double lift-up effect predicts linear-in-time growth.","pith_inferences":["The explicit linear formula (1.20) suggests the exponent $\\gamma=2$ is optimal: the factor $t$ in $u^{2,3}_0$, valid for $t\\lesssim\\nu^{-1}$, converts initial size $\\varepsilon$ into size $\\varepsilon\\nu^{-1}$, so a uniform-in-$\\nu$ bound cannot hold for $\\varepsilon\\gg\\nu^2$; the paper stops short of proving nonlinear instability.","A natural next test is the intermediate range $0<\\beta<1$ and $1<\\beta<\\infty$: interpolating between the non-rotating threshold $\\gamma=1$ and this resonant $\\gamma=2$ would show where the second lift-up direction turns on, and the two-good-unknown construction should adapt continuously.","The multiplier technique is the transferable part: any Couette-type system with a linear coupling that blocks direct $Q^1/Q^2$ energy estimates, such as stratified or magnetic variants, could borrow the same symmetrization before estimating the nonlinear terms."],"forward_implications":["If Theorem 1.2 is correct, the stability threshold exponent for 3D Navier-Stokes-Coriolis at $\\beta=1$ is $\\gamma=2$: initial data of size $\\delta\\nu^2$ remain global and return to Couette, while the double lift-up makes any better exponent inaccessible to this bootstrap.","The dangerous part of the perturbation is confined to zero x-frequency: $u^{2,3}_0$ may grow to order $\\varepsilon\\nu^{-1}$, while $u^1_0$ and all nonzero frequencies remain at order $\\varepsilon$, with $U^3_\\neq$ at order $\\varepsilon\\nu^{-1/3}$.","Inviscid damping and enhanced dissipation are not destroyed by rotation: $U^{1,2}_\\neq$ decays like $\\langle t\\rangle^{-1}$ and gains $L^2$ control with $\\nu^{1/6}$ weights, so the instability mechanism is a zero-frequency phenomenon.","By Remark 1.5 the same threshold survives for any shear rate $\\beta>1$ after rescaling, so $\\beta=1$ is the worst resonant case rather than an isolated parameter."],"supporting_citations":[{"why":"Provides the multiplier m/M framework, the bootstrap structure, and the non-rotating benchmark whose threshold this paper compares against.","marker":"[1]"},{"why":"Identifies the lift-up mechanism that the Coriolis force doubles here.","marker":"[17]"},{"why":"Establishes the prior rotation case β>1 or β<0, which this paper extends to the resonant rate β=1.","marker":"[18]"},{"why":"Supplies the ghost multiplier M and the bounds used in Lemma 4.2 and Corollary 4.1.","marker":"[20]"},{"why":"Gives the optimal non-rotating threshold γ=1, the comparison point for the worsening to γ=2.","marker":"[30]"},{"why":"Motivates the coordinate-change and semigroup treatment of the linearized system used in Section 3.","marker":"[32]"}],"fun_headline_variants":["Double lift-up effect sets ν² threshold in rotating Couette flow","Stability threshold ν² proven for 3D rotating Couette flow","Rotation doubles lift-up, threshold drops to ν²","3D rotating Couette stable for perturbations < δν²"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The proof imports, without proof, the multiplier lemmas from [1] and [20], especially the lower bound $\\nu^{2/3}\\lesssim m$ and the inequality $m\\gtrsim(k^2+l^2)/(k^2+(\\eta-kt)^2+l^2)$; if either fails, the energy estimates that close the bootstrap collapse.","fun_headline_variants_meta":{"raw":{"variants":["Double lift-up effect sets ν² threshold in rotating Couette flow","Stability threshold ν² proven for 3D rotating Couette flow","Rotation doubles lift-up, threshold drops to ν²","3D rotating Couette stable for perturbations < δν²"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000699,"raw_usage":{"total_tokens":3197,"prompt_tokens":1025,"completion_tokens":2172,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":641,"completion_tokens_details":{"reasoning_tokens":2100}},"tokens_in":641,"tokens_out":2172,"duration_ms":16905,"temperature":1.0,"reasoning_tokens":2100,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-11T15:25:21.445161+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Integrate the ODE (4.3) numerically for $k=1$, $l=0$, $\\eta=0$ over $t\\in[0,1000\\nu^{-1/3}]$ and check whether $m(t)\\ge c\\nu^{2/3}$ and $m(t)\\ge (k^2+l^2)/(k^2+(\\eta-kt)^2+l^2)$ hold pointwise for a universal $c$; one counterexample frequency would invalidate Lemma 4.1 and collapse the bootstrap proof of Theorem 1.2.","supporting_citations":[{"cited_title":"Bedrossian, P","cited_arxiv_id":null,"evidence_quote":"Provides the multiplier m/M framework, the bootstrap structure, and the non-rotating benchmark whose threshold this paper compares against."},{"cited_title":"Ellingsen, E","cited_arxiv_id":null,"evidence_quote":"Identifies the lift-up mechanism that the Coriolis force doubles here."},{"cited_title":"Liss, On the Sobolev stability threshold of 3D Couette flow in a u niform magnetic field","cited_arxiv_id":null,"evidence_quote":"Supplies the ghost multiplier M and the bounds used in Lemma 4.2 and Corollary 4.1."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the optimal non-rotating threshold γ=1, the comparison point for the worsening to γ=2."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Motivates the coordinate-change and semigroup treatment of the linearized system used in Section 3."}],"review_version":1}