{"id":"e042cbf9-6630-4e24-97de-f21f15e220c3","arxiv_id":"2509.00694","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"The ν^{1/2} stability threshold for 2D Navier-Stokes Couette flow in an infinite channel with Navier slip is proven, with no logarithmic loss, sharpening the Arbon-Bedrossian threshold.","lead":"This paper proves that small disturbances to Couette flow, the simplest fluid shear flow between two sliding plates, remain stable if their initial size is at most the square root of the viscosity, removing a logarithmic correction from the best previous result. It matters because it pins down the exact stability boundary for a standard low-viscosity fluid model.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Lemma 3.5's low-frequency partition contains a contradictory set (Ω1 with both |k|≤ν and |k|≥ν); the no-log estimate for that region is therefore unproven, so the main threshold rests on a gap.","rationale":"The paper's strongest claim is that the stability threshold is ν^{1/2} with no logarithmic loss. The proof closes via the bootstrap inequality Etotal ≲ Etotal(0)+ν^{-1/2}E^{3/2}, which relies on Lemmas 3.4–3.6. Lemma 3.5 is where the low-frequency nonlinear interactions are controlled, and it is exactly there that Arbon–Bedrossian incurred the logarithmic factor. The text contains a concrete internal inconsistency: Ω1 is characterized by both |k|≤ν and |k|≥ν, making the set empty and the associated estimate vacuous. Since the proof does not otherwise cover that low-frequency region, the central claim is not established as written. The reader's weakest-assumption analysis identified this same contradictory set and the broader issue of ν-independent constants; I agree with that assessment. The proposed check—repartitioning and re-deriving the estimates with explicit ν-dependence—would settle whether this is merely a typo or a substantive gap. Until then, the conditional verdict should remain.","tokens_in":24993,"tokens_out":29175,"duration_ms":338127,"concrete_test":"Re-derive Lemma 3.5 with an explicit, disjoint frequency partition: R1={|k−ℓ|/2≤|k|≤2|k−ℓ|}, R2={2|k−ℓ|≤|k|, |k−ℓ|≥ν}, R3={2|k−ℓ|≤|k|≤ν}, R4={2|k|≤|k−ℓ|}. For each nonempty region, re-prove the displayed bound by hand, tracking every factor of ν and checking that no logarithmic term appears as ν→0. In particular, replace the contradictory Ω1 by the intended nonempty set and verify the claimed ν^{-1/2}E^{1/2}D2^{1/2}D4^{1/2} bound. If the corrected estimate contains log(1/ν) or a worse ν-power, the main theorem fails; if it reproduces the stated bound, the gap is closed.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim—removal of the logarithmic factor and closure of the bootstrap (3.21)—depends on every estimate in Lemmas 3.4–3.6 being valid with constants independent of log(1/ν). The most delicate place is Lemma 3.5, which controls low-frequency interactions in N2. In the proof of Lemma 3.5, Ω1 is first defined as {2|k−ℓ|≤|k|, |k−ℓ|≤ν, |k|≥ν}, and then a few lines later the same symbol Ω1 is rewritten with the additional contradictory condition |k|≤ν. The resulting set is empty, so the displayed estimate for that term does not actually bound any nonempty frequency region. This is not a harmless typo: the intended region is precisely a low-high interaction (small |k−ℓ|, moderate |k|) where, in Arbon–Bedrossian, the logarithmic loss arises. Unless the omitted or misstated region is re-estimated with the claimed ν^{-1/2}E^{1/2}D2^{1/2}D4^{1/2} bound and no log(1/ν) factor, the proof of the improved threshold is incomplete. The reader flagged the same set contradiction and the need for explicit ν-independent constants; I agree this is the load-bearing issue.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies nonlinear stability of 2D Navier–Stokes Couette flow in the infinite channel R×[-1,1] with Navier slip boundary conditions. The main result (Theorem 1.1) asserts that perturbations of the initial vorticity of size ε0 ν^{1/2} in an anisotropic Sobolev space with a mild (1/∂x)^ε weight remain globally stable, enjoy enhanced dissipation at rate λ_k, and exhibit inviscid damping, for any m>1 and ε∈(0,1/12). This is claimed to improve the threshold of Arbon–Bedrossian by removing a logarithmic factor. The proof follows a standard bootstrap: a linear dissipation estimate (Proposition 2.4, imported from [2]), nonlinear weighted estimates (Lemmas 3.4–3.6), and an energy closure in Section 3.3.","tokens_in":25320,"tokens_out":11336,"duration_ms":127911,"significance":"If correct, the result is significant: it identifies the ν^{1/2} scaling as the sharp nonlinear stability threshold for Couette flow in an unbounded channel and removes a logarithmic loss that appeared in the only previous fully nonlinear result in this setting. The paper builds on the recent framework of Arbon–Bedrossian and contributes new frequency-weighted nonlinear estimates. The claimed theorem also gives explicit rates for enhanced dissipation and inviscid damping. However, the proof as written contains several load-bearing gaps in the low-frequency estimates, which are precisely the places where the logarithmic loss should be eliminated. At present the central claim is not convincingly established.","major_comments":[{"comment":"","section":"Lemma 3.5, Eq. (3.12) and Ω1"},{"comment":"","section":"Section 3.1, definition of E; Theorem 1.1"},{"comment":"","section":"Lemma 3.1, inequalities involving |k|^{-1/2} L^1 norms"},{"comment":"","section":"Proposition 2.4 and Lemmas 2.1–2.3"}],"minor_comments":[{"comment":"","section":"Lemma 3.5, Eq. (3.12)"},{"comment":"","section":"Section 3.3, Eq. (3.21)"},{"comment":"","section":"Notation"},{"comment":"","section":"Lemma 3.6, proof structure"}],"recommendation":"major_revision","confidential_remarks":"The central claim is attractive and plausibly correct, but the manuscript as written does not prove the no-log threshold. The contradictions in Lemma 3.5 and the unproved L^1 estimates near k=0 are exactly the low-frequency issues where the logarithmic loss is located. The mismatch between the theorem's norm and the energy weight is also concerning and affects the statement itself. I would encourage the authors to rewrite the low-frequency interaction estimates carefully, with explicit constants, and to align the norm in Theorem 1.1 with the energy functional. The linear part being imported from prior work is acceptable, but the nonlinear part needs a transparent and correct treatment. A revision that fixes these points could be publishable."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's my take on Liang-Wu-Zhai. They claim to remove the log loss from Arbon-Bedrossian's ν^{1/2}(ln(1/ν))^{-1/2} threshold and get ν^{1/2} for the infinite channel with Navier slip. That's a real improvement if it works. The structure is sensible: import the linear theory (Proposition 2.4) and the J_k operator from [2] and [7], then add frequency-weighted nonlinear estimates to close the bootstrap at ν^{1/2}. The paper is honest about what it imports, so the circularity burden is low. Lemma 3.4 and many pieces of 3.6 look plausible, and the bootstrap (3.21) would close if every constant is ν-uniform.\n\nBut the stress-test note is right: Lemma 3.5 contains a set contradiction. Ω1 is first defined as {2|k−ℓ|≤|k|, |k−ℓ|≤ν, |k|≥ν}, then later rewritten as {2|k−ℓ|≤|k|≤ν, |k−ℓ|≤ν, |k|≥ν}, which is empty. That means the displayed estimate for the fourth term in (3.12) does not actually bound the intended low-high interaction region (small |k−ℓ|, moderate |k|) where Arbon–Bedrossian got their log. The no-log bound for that region is unproven. This is not a minor typo; it's the crux of the improvement. I also share the reader's unease about hidden ν-dependence in the cited Proposition 2.4 and in the many pointwise frequency inequalities that are asserted without proof. They might be true, but the text doesn't show them.\n\nOne more thing: Remark 1.1 calls ν^{1/2} the \"optimal scale\" based only on the stability side. That overreaches; there's no matching instability result. The right phrase is \"expected scaling.\"\n\nWho is this for? Researchers in the stability-threshold program. If the Lemma 3.5 gap is fixable—and it might be, by redoing that region with a sharper inequality—the result would be a solid contribution. As it stands, I wouldn't cite it as a theorem. But it deserves a serious referee and probably a round of revision. My recommendation: send it to peer review, with instructions to the referee to focus on Lemma 3.5 and the ν-uniformity of constants.","headline":"Genuine step toward the ν^{1/2} threshold, but Lemma 3.5's contradictory frequency set leaves the no-log bound unproven.","tokens_in":25797,"tokens_out":2370,"would_cite":false,"duration_ms":25291,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","35B65","76B03"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves a global stability threshold of ν^{1/2} for 2D Navier–Stokes Couette flow in an infinite channel, removing the logarithmic loss of the previous best result.","keywords":["stability threshold","Couette flow","Navier–Stokes equations","Navier slip boundary conditions","enhanced dissipation","inviscid damping","infinite channel","nonlinear stability"],"falsifier":"Resolve the two inconsistent characterizations of the set Ω1 in Lemma 3.5 (one line requires |k| ≥ ν, the next |k| ≤ ν) and verify that the bound N2 ≲ ν^{−1/2}E^{1/2}D_2^{1/2}D_4^{1/2} holds on the intended region with a ν-independent constant. Then test the pointwise inequality |ℓ|^{−1/2} ≲ ⟨ℓ−1⟩^ε⟨1/(k−ℓ)⟩^ε⟨k−1⟩^{1/2−2ε} over triples (k,ℓ,k−ℓ) spanning the three frequency regimes with |k| ∈ [ν,1]; a single configuration whose implied constant grows like (1+ln(1/ν))^c breaks the bootstrap and falsifies the ν^{1/2} threshold.","tokens_in":24879,"feed_emoji":"🌊","tokens_out":18159,"duration_ms":168247,"temperature":0.7,"pith_summary":"This paper proves that the 2D Navier–Stokes Couette flow in the infinite channel R×[−1,1] with Navier slip boundary conditions is nonlinearly stable against vorticity perturbations of size ν^{1/2}, measured in an anisotropic Sobolev norm that keeps a small ε of extra x-integrability. This is the sharpest threshold obtained so far in this geometry: it removes the logarithmic factor (1+ln(1/ν))^{1/2} that Arbon–Bedrossian needed to pay for the difficulty of low-frequency, continuous-spectrum interactions. The ν^{1/2} scale is what linear theory and hydrodynamic-stability heuristics single out as critical, so the result identifies it as the natural stability threshold. The proof runs through a weighted energy method over the continuous frequency line: each Fourier mode k is assigned a ν-scaled weight and a singular-integral operator that encodes inviscid damping, and the nonlinear terms are partitioned by frequency so that a bootstrap closes without losing a logarithm. Thresholds of this type mark the quantitative boundary between the regime where shear flows return to Couette structure and the regime where perturbations may grow.","feed_headline":"Stability threshold for 2D Couette flow sharpened to ν^{1/2}","feed_subtitle":"Weighted-energy proof removes the logarithmic loss, keeping perturbations of the natural ν^{1/2} size globally stable.","key_machinery":"The proof is carried by a mode-wise weighted energy E_k[ω_k] on the continuous frequency line, built from an anisotropic weight α_k (ν^{2/3}|k|^{−2/3} for |k| ≥ ν, 1 for |k| ≤ ν) and a self-adjoint singular integral operator J_k defined via the Green's function of the channel Laplacian with homogeneous Dirichlet conditions in y; J_k converts inviscid damping into a coercive term. Summing over k with weight ⟨k⟩^{2m}⟨k−1⟩^{2ε} and exponential e^{2cλ_k t} gives the total energy E and dissipation D; the ⟨k−1⟩^{2ε} factor is the frequency trace of the (1/∂x)^{2ε} smoothing in the data norm and absorbs the low-frequency accumulation that previously cost a logarithm. The nonlinear fluxes N1, N2, N3","core_discovery":"The central claim is Theorem 1.1: for any m > 1 and ε ∈ (0, 1/12), if the initial vorticity ω_in of the perturbation satisfies Σ_{j=0}^{1} ||(ν^{1/3}∂y)^j ⟨∂x⟩^{(m−j)/3}(1/∂x)^ε ω_in||_{L²} ≤ ε0 ν^{1/2}, then System (1.3) is globally well-posed and the evolved vorticity obeys the uniform bound Σ_{j=0}^{1} ||e^{δλ_k t}(ν^{1/3}∂y)^j ⟨∂x⟩^{(m−j)/3}(1/∂x)^ε ω||_{L²} ≤ C ε0 ν^{1/2} for all t ≥ 0, where λ_k = ν^{1/3}|k|^{2/3} for |k| ≥ ν and λ_k = ν for |k| ≤ ν; the velocity perturbation additionally satisfies inviscid damping in L²_t. Enhanced dissipation means each non-zero Fourier mode decays on the time scale t ∼ ν^{−1/3} rather than the viscous scale ν^{−1}, so the flow forgets the perturbati","pith_inferences":["The same frequency-weighting idea plausibly sharpens the companion results of [2] on the plane and half-plane from ν^{1/2}(1+ln(1/ν))^{−1/2} to ν^{1/2}, because the logarithmic loss there originates from the same continuous-spectrum low-frequency interactions; this is an extension the paper does not itself state.","The paper proves stability at the ν^{1/2} scale but does not show that larger perturbations actually destabilize; a matching nonlinear-instability construction in this geometry would confirm that ν^{1/2} is the sharp threshold rather than merely a sufficient condition.","The (1/∂x)^ε condition in the data norm reads as a mild price in x-integrability paid to control the zero mode; for data whose x-average vanishes exactly, this suggests the threshold should hold with ε = 0, a testable weakening of the theorem's hypothesis.","The appearance of ν^ε losses precisely on the regions where one frequency crosses the ν-cutoff (|k| ≤ ν ≤ |k−ℓ|) shows the cutoff is the delicate point of the method; pushing ε up to 1/12 would require a new idea at that corner."],"forward_implications":["Any perturbation whose initial vorticity is of size ν^{1/2} in the weighted anisotropic space remains at size C ε0 ν^{1/2} for all time, so the Couette background is globally stable at this amplitude.","Non-zero Fourier modes decay at the enhanced-dissipation rate ν^{1/3}|k|^{2/3}, meaning the relaxation time is t ∼ ν^{−1/3} instead of the viscous t ∼ ν^{−1}.","The velocity perturbation exhibits inviscid damping: horizontal velocity is square-integrable in time, so the flow returns to the shear profile.","The logarithmic factor in the previous best threshold is an artifact of the estimates, not of the physics: the natural ν^{1/2} scale is the correct threshold in this setting.","The bootstrap inequality E_total ≲ E_total(0) + ν^{−1/2}E^{3/2}_{total} is the quantitative engine of the result; closing it without logarithms is precisely the content of Lemmas 3.4–3.6."],"supporting_citations":[{"why":"Arbon–Bedrossian supplied the prior threshold ν^{1/2}(1+ln(1/ν))^{−1/2} that this paper sharpens, the frequency-partition framework, and the linear stability estimate used here as Proposition 2.4.","marker":"[2]"},{"why":"Bedrossian–He–Iyer–Wang introduced the singular integral operator J_k and its bounds (Lemmas 2.1–2.3 quoted here), which carry the inviscid-damping part of the energy functional.","marker":"[7]"},{"why":"Kelvin's explicit solution of the linearized vorticity equation is the source of the enhanced dissipation and inviscid damping estimates (1.6)–(1.7) that set the time scales λ_k.","marker":"[17]"},{"why":"Bedrossian–Germain–Masmoudi formulated the transition-threshold problem and its scaling, providing the framework in which the ν^{1/2} exponent is the quantity of interest.","marker":"[3]"}],"fun_headline_variants":["Couette stability threshold hits natural ν^{1/2} scaling","2D Couette: log-loss eliminated, threshold now ν^{1/2}","Removing the log in 2D Navier-Stokes Couette stability","Sharp ν^{1/2} threshold proved for 2D Couette flow","Weighted energy proof clears log barrier for Couette"],"cache_read_input_tokens":2688,"weakest_assumption_plain":"The nonlinear estimates of Lemmas 3.4–3.6 and the cited linear decay of Proposition 2.4 must hold with constants independent of ν and free of logarithmic factors in 1/ν; if any pointwise frequency bound (such as |ℓ|^{−1/2} ≲ ⟨ℓ−1⟩^ε⟨1/(k−ℓ)⟩^ε⟨k−1⟩^{1/2−2ε}) or hidden constant carries a log, the bootstrap E_total ≲ E_total(0) + ν^{−1/2}E^{3/2}_{total} does not close at the ν^{1/2} threshold.","fun_headline_variants_meta":{"raw":{"variants":["Couette stability threshold hits natural ν^{1/2} scaling","2D Couette: log-loss eliminated, threshold now ν^{1/2}","Removing the log in 2D Navier-Stokes Couette stability","Sharp ν^{1/2} threshold proved for 2D Couette flow","Weighted energy proof clears log barrier for Couette"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000243,"raw_usage":{"total_tokens":1399,"prompt_tokens":811,"completion_tokens":588,"prompt_tokens_details":{"cached_tokens":256},"prompt_cache_hit_tokens":256,"prompt_cache_miss_tokens":555,"completion_tokens_details":{"reasoning_tokens":491}},"tokens_in":555,"tokens_out":588,"duration_ms":7162,"temperature":1.0,"reasoning_tokens":491,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-05T13:19:11.319591+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Resolve the two inconsistent characterizations of the set Ω1 in Lemma 3.5 (one line requires |k| ≥ ν, the next |k| ≤ ν) and verify that the bound N2 ≲ ν^{−1/2}E^{1/2}D_2^{1/2}D_4^{1/2} holds on the intended region with a ν-independent constant. Then test the pointwise inequality |ℓ|^{−1/2} ≲ ⟨ℓ−1⟩^ε⟨1/(k−ℓ)⟩^ε⟨k−1⟩^{1/2−2ε} over triples (k,ℓ,k−ℓ) spanning the three frequency regimes with |k| ∈ [ν,1]; a single configuration whose implied constant grows like (1+ln(1/ν))^c breaks the bootstrap and falsifies the ν^{1/2} threshold.","supporting_citations":[{"cited_title":"Arbon, J","cited_arxiv_id":null,"evidence_quote":"Arbon–Bedrossian supplied the prior threshold ν^{1/2}(1+ln(1/ν))^{−1/2} that this paper sharpens, the frequency-partition framework, and the linear stability estimate used here as Proposition 2.4."},{"cited_title":"Bedrossian, S","cited_arxiv_id":null,"evidence_quote":"Bedrossian–He–Iyer–Wang introduced the singular integral operator J_k and its bounds (Lemmas 2.1–2.3 quoted here), which carry the inviscid-damping part of the energy functional."},{"cited_title":"Kelvin, Stability of fluid motion: rectilinear motion of viscous fluid between two parallel plates, Phil","cited_arxiv_id":null,"evidence_quote":"Kelvin's explicit solution of the linearized vorticity equation is the source of the enhanced dissipation and inviscid damping estimates (1.6)–(1.7) that set the time scales λ_k."},{"cited_title":"Bedrossian, P","cited_arxiv_id":null,"evidence_quote":"Bedrossian–Germain–Masmoudi formulated the transition-threshold problem and its scaling, providing the framework in which the ν^{1/2} exponent is the quantity of interest."}],"review_version":1}