{"id":"22503720-6065-481e-b0be-cd1f9b7283df","arxiv_id":"2411.19716","paper_version":4,"verdict":"REJECT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"high","formal_verification":"none","parameter_count":0,"one_line_summary":"Near Poiseuille flow in the plane, the paper claims enhanced dissipation for high x-frequencies and a nonlinear stability threshold of order ν^{7/3}, but a stream-function estimate in the proof is not justified.","lead":"This math paper studies whether the Poiseuille flow, fluid moving between infinite plates with a parabolic speed profile, is stable to small disturbances. It claims to prove that tiny perturbations stay small and decay faster than heat for high frequencies, but a key estimate in the proof appears flawed.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified: the §3.5 estimate flagged by the reader is justified by the weighted identity in §2, so the nonlinear closure is not broken.","rationale":"The reader's rejection rests on the claim that the estimate |k| ||ψ_k||_2 ||∂_yψ_k||_2 ≲ ||ω_k||_2^2 in §3.5 is false, citing a Fourier calculation at y-frequency η=k. However, the paper's energy is weighted: the relevant E_k contains both ||∂_yψ_k||_2^2 and ||yω_k||_2^2, and the identity ||kψ_k||_2^2 = ||∂_yψ_k||_2^2 + 2Re⟨∂_yψ_k, yω_k⟩ from the proof of Theorem 2.1 is exactly what makes the needed inequality true. Substituting this identity into the low-frequency region gives the claimed ν^{-2/3}E bound. I also reviewed the ν-power bookkeeping for the other nonlinear terms; the dominant powers are ν^{-7/6}, matching the stated threshold. A small exponent typo in the I3 estimate (§3.4) does not affect the final bound because the corrected term is still smaller than ν^{-7/6}. Since no load-bearing gap remains, I do not see grounds for rejection on the stated basis.","tokens_in":21523,"tokens_out":49472,"duration_ms":356198,"concrete_test":"Recompute the integral I = ∫_{|k|≤ν^{-1/3}} ν^{-2/3}γ_k|k| ||ψ_k||_2||∂_yψ_k||_2 dk, using the identity ||kψ_k||_2^2 = ||∂_yψ_k||_2^2 + 2Re⟨∂_yψ_k, yω_k⟩ and checking whether |k| ||ψ_k||_2||∂_yψ_k||_2 ≤ C(||∂_yψ_k||_2^2 + ||yω_k||_2^2); if this inequality holds, the §3.5 closure is valid.","verdict_should_be":"ACCEPT","load_bearing_attack":"The reader's objection to the T6,HL,L,HL bound does not land. The disputed step controls I = ∫ ... ν^{-2/3}γ_k|k| ||ψ_k||_∞^2 dk by ν^{-2/3}E. GNS gives |k| ||ψ_k||_∞^2 ≲ |k| ||ψ_k||_2 ||∂_yψ_k||_2. The reader's Fourier calculation with y-frequency η=k shows |k| ||ψ||_2 ||∂_yψ||_2 can be ~ |k|^{-2}||ω||_2^2 as k→0, but this omits the y-weighted term. Using the identity from the proof of Theorem 2.1, ||kψ_k||_2^2 - ||∂_yψ_k||_2^2 = 2Re⟨∂_yψ_k, yω_k⟩, one obtains ||kψ_k||_2^2 ≤ 2||∂_yψ_k||_2^2 + ||yω_k||_2^2, and hence |k| ||ψ_k||_2 ||∂_yψ_k||_2 ≤ C(||∂_yψ_k||_2^2 + ||yω_k||_2^2). In the low-frequency region |k|<ν^{-1/3}, where γ_k=ν^{-2/3}, this gives exactly ∫ ... ≤ Cν^{-2/3}E, since E_k contains both ν^{-2/3}||∂_yψ_k||^2 and ν^{-2/3}||yω_k||^2. The final ν^{-7/6} nonlinear bound and the ν^{7/3} threshold therefore close as written; the unweighted counterexample does not apply to the weighted energy. I checked the other nonlinear terms and the ν-power bookkeeping; the minor exponent slip in the I3 estimate in §3.4 (ν^{-1/6} versus ν^{-1/3} in a low-frequency integral) is harmless because it only makes that term smaller than the dominant ν^{-7/6} bound.","agreement_with_reader":"disagree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the 2D Navier-Stokes equations linearized and nonlinearized around the Poiseuille flow (y^2,0) on the whole plane. For the linearized vorticity equation, the author proves an energy inequality in which each x-frequency k has a dissipation rate λ_k = ν^{1/2}|k|^{1/2} for |k| ≥ ν^{-1/3} and λ_k = ν|k|^2 for small |k|, yielding enhanced dissipation at high frequencies. The energy E_k includes the weighted quantities ||yω_k||_2 and ||∇ψ_k||_2, which are needed because the linearized equation contains the extra term 2ikψ_k. For the nonlinear problem, the paper defines a time-weighted energy E(t) with a bootstrap multiplier ⟨cλ(∂x)t⟩^J and proves that if an anisotropic Sobolev norm of the initial vorticity perturbation is at most δν^{7/3}, then E(t) ≤ 2E(0) for all t ≥ 0. The proof is a continuation argument in which all nonlinear terms are bounded by C ν^{-7/6} D(t) sup_{s≤t} E(s)^{1/2}.","tokens_in":21964,"tokens_out":36743,"duration_ms":260797,"significance":"If the bounds are correct, this is a solid contribution: it appears to give the first quantitative nonlinear stability threshold for Poiseuille flow in the unbounded domain R^2, extending the Arbon-Bedrossian approach for Couette flow to a setting with a non-constant background shear and the additional stream-function coupling 2∂_xψ. The linear energy identities are explicit, the decay rate is derived rather than fitted, and the nonlinear estimates are fully itemized; there are no free parameters and no circular construction. The claimed threshold ν^{7/3} is very small, but the paper's goal is qualitative stability rather than optimality. The stress-test objection to §3.5 does not land: the unweighted counterexample with a single y-Fourier mode is bypassed by the weighted identity in the proof of Theorem 2.1, so the low-frequency nonlinear closure is valid once that identity is invoked explicitly.","major_comments":[],"minor_comments":[{"comment":"The bound on T_{6,HL,L,HL} uses the step |k| ||ψ_k||_∞^2 ≲ |k| ||ψ_k||_2 ||∂_yψ_k||_2 ≲ integrated against ν^{-2/3}γ_k. As written, the second inequality is not immediate: for a single y-Fourier mode with η = k, one has |k| ||ψ_k||_2 ||∂_yψ_k||_2 = (4k^2)^{-1} ||ω_k||_2^2, which is unbounded as k → 0. The intended bound follows from the identity ||kψ_k||_2^2 - ||∂_yψ_k||_2^2 = 2 Re⟨∂_yψ_k, yω_k⟩ proved in Theorem 2.1, which gives |k| ||ψ_k||_2 ||∂_yψ_k||_2 ≤ C(||∂_yψ_k||_2^2 + ||yω_k||_2^2). Please cite this identity explicitly at the point of use in §3.5.","section":"§3.5"},{"comment":"In the proof of Lemma 3.4, the replacement ||∂_y∇_kω_k||_2 ≤ ||Δ_kω_k||_2 is used without comment. This is valid in y-Fourier variables, but it is a non-obvious step; adding one sentence with the Fourier multiplier comparison would improve readability.","section":"§3.1 / Lemma 3.4"},{"comment":"In the bound on I3 in the estimate of T_{5,HL,H''}, the inequality ∫⟨k⟩^{-2m}(γ_kν)^{-1}dk ≲ ν^{-1/3} requires splitting the integral into |k| ≥ ν^{-1/3} and |k| < ν^{-1/3}; the two regimes give ν^{-1/6} and ν^{-1/3} respectively, so the low-frequency part dominates. The text currently says this follows from γ_k ≥ ν^{-2/3} alone, which is slightly terse; please spell out the split.","section":"§3.4"},{"comment":"The statement refers to 'the corresponding solution' of the nonlinear equation but does not cite or state a local well-posedness theorem for (1.3) on the relevant anisotropic spaces. Adding a reference or a short existence/uniqueness remark would make the theorem self-contained.","section":"Theorem 1.1"},{"comment":"There are several typographical errors, e.g. 'eatimates' in §3.1, 'obatain' in §3.5, and 'separat' in §3.5. These should be corrected in a final pass.","section":"Throughout"}],"recommendation":"minor_revision","confidential_remarks":"The paper is a straightforward application of the Arbon-Bedrossian energy method to Poiseuille flow on R^2. The novelty is incremental but real, and the author is candid about the debt to [18]. The external stress-test concern about §3.5 is resolved by the weighted identity in Section 2; the remaining issues are presentation and clarity, not correctness. I recommend minor revision."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Quick take: this is a real extension of the Arbon–Bedrossian energy method to Poiseuille flow on the whole plane, and the specific objection raised in the review—the alleged failure of the stream-function bound in §3.5—does not land. The paper deserves a serious referee, not a desk reject.\n\nWhat is actually new: linear enhanced dissipation at rate ν^{1/2}|k|^{1/2} for |k| ≥ ν^{-1/3}, and a nonlinear stability threshold of ν^{7/3} in an anisotropic norm. The linear energy identities in Section 2 check out, and the piecewise definition of λ_k is handled consistently. The extra ∂_xψ term in the vorticity equation is the genuine new difficulty, and the paper addresses it by putting γ_k||∂_yψ_k||^2 and γ_k||yω_k||^2 into the energy. That structure is what makes the nonlinear closure plausible.\n\nOn the reader's strongest claim: the counterexample for §3.5 omits the y-weighted term. The identity from the proof of Theorem 2.1 gives ||kψ_k||_2^2 ≤ 2||∂_yψ_k||_2^2 + ||yω_k||_2^2, and therefore |k| ||ψ_k||_2 ||∂_yψ_k||_2 is controlled by ||∂_yψ_k||_2^2 + ||yω_k||_2^2. In the low-frequency region γ_k = ν^{-2/3}, and the energy stores exactly those two weighted pieces. So the disputed T6,HL,L,HL estimate closes; an unweighted single-mode calculation is not the relevant quantity.\n\nSoft spots are minor. In §3.4 the I3 factor is written as ν^{-1/6}; a direct low-frequency estimate gives ν^{-1/3}, but that changes the final bound from ν^{-1/2} to ν^{-2/3}, still well below the dominant ν^{-7/6}. The paper also does not discuss local well-posedness or the k = 0 mode in detail; for this style of energy argument that is an expositional gap, not a fatal flaw. The constants in Theorem 2.1 are stated with inequalities that ensure positivity but the proof does not explicitly show D_k ≲ I; choosing cα small and cγ large makes it true, so this is also repairable.\n\nThe citation pattern is fine: the method is openly borrowed from [18], and the new flow is the contribution. This paper is for researchers working on quantitative shear-flow stability, and it gives them a solid new example with the same threshold machinery. I would send it to peer review and ask the author to tighten the few loose estimates and add a word on well-posedness.","headline":"A credible extension of the Couette-flow energy method to Poiseuille flow on R^2; the reviewer's main objection does not survive contact with the weighted identity in Section 2.","tokens_in":22459,"tokens_out":14218,"would_cite":true,"duration_ms":98257,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","76E05","35B35"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves nonlinear stability of the Poiseuille shear flow on $\\mathbb{R}^2$: initial vorticity perturbations of size at most $\\delta\\nu^{7/3}$ stay within twice their size, and linearized high-frequency perturbations decay at rate…","keywords":["Navier–Stokes equations","Poiseuille flow","enhanced dissipation","nonlinear stability","vorticity","anisotropic Sobolev space","unbounded domain"],"falsifier":"A direct Fourier check settles the closure: at y-frequency $\\eta = k$, $|k|\\,\\lVert \\psi_k\\rVert_2\\,\\lVert \\partial_y \\psi_k\\rVert_2 = (4|k|^2)^{-1}\\lVert \\omega_k\\rVert_2^2$, so the ratio blows up as $k \\to 0$. Because this inequality is what absorbs the nonlinear term $T_6$ in Section 3.5, observing the ratio diverge on low-frequency modes would refute the closing argument and hence the proof of Theorem 1.1.\n\n","tokens_in":21328,"feed_emoji":"🌊","tokens_out":11978,"duration_ms":92350,"temperature":0.7,"pith_summary":"The paper tries to establish that the Poiseuille shear flow $U=(y^2,0)$ on the whole plane $\\mathbb{R}^2$ is quantitatively stable: if the initial vorticity perturbation has size at most $\\delta\\nu^{7/3}$ in a weighted anisotropic Sobolev space, then the perturbation energy stays bounded by twice its initial value for all time. It also proves enhanced dissipation for the linearized flow, with $x$-frequencies $|k|\\ge\\nu^{-1/3}$ decaying at rate $\\nu^{1/2}|k|^{1/2}$, which is faster than the heat equation. The contribution is a parameter-free $\\nu$-scaling threshold for nonlinear stability on an unbounded domain, extending results that were previously available mostly on periodic or bounded domains. The argument works by building a frequency-dependent energy that includes stream-function terms and by absorbing all nonlinear error terms into the dissipation.\n\n","feed_headline":"Poiseuille flow resists vorticity kicks below ν^{7/3}","feed_subtitle":"The proof keeps perturbation energy under twice its starting value and beats heat decay.","key_machinery":"The machinery is a frequency-dependent energy-dissipation pair $(E_k,D_k)$ whose coefficients $\\alpha_k,\\beta_k,\\gamma_k$ switch at the cutoff $|k|=\\nu^{-1/3}$. The linear evolution satisfies $E_k\\approx \\|\\omega_k\\|_2^2+\\alpha_k\\|\\nabla_k\\omega_k\\|_2^2+\\gamma_k\\|y\\omega_k\\|_2^2+\\gamma_k\\|\\partial_y\\psi_k\\|_2^2$ and $\\frac{d}{dt}E_k\\le -4cD_k-4c\\lambda_kE_k$. The nonlinear argument sums these with weights $\\langle k\\rangle^{2m}\\langle c\\lambda_k t\\rangle^{2J}$ and a correction factor $M_k(t)$ whose ODE absorbs derivatives of the time multiplier; the low-frequency control of the stream function is what makes the nonlinear terms finite.\n\n","core_discovery":"The central claim is Theorem 1.1: for $J\\ge1$ and $m>3/4$, if the initial weighted norm $\\epsilon$ defined from $\\omega_{\\mathrm{in}}$ is at most $\\delta\\nu^{7/3}$, then the solution satisfies $E(t)\\le 2E(0)$ for all $t$, with the same bound after applying the multiplier $\\langle c\\lambda^{\\mathrm{pl}}_\\nu(\\partial_x)t\\rangle^J$. For the linearized equation the energy $E_k$ obeys $\\frac{d}{dt}E_k\\le -4cD_k-4c\\lambda_k E_k$, giving the decay rate $\\lambda_k=\\nu^{1/2}|k|^{1/2}$ for $|k|\\ge\\nu^{-1/3}$. The nonlinear proof sums these energies and establishes the bootstrap inequality $E(t)\\le 2E(0)-4cD(t)+C\\nu^{-7/6}D(t)\\sup_{s\\in[0,t]}E(s)^{1/2}$, which closes when $E(0)\\le c^2C^{-2}\\nu^{7/3}$.\n\n","pith_inferences":["An editorial inference: if the Section 3.5 stream-function estimate needs repair, the natural fix is an additional low-frequency weight on $\\psi$, which would likely change the power of $\\nu$ in the threshold.","The multiplier construction suggests a template for other power-law shear profiles $y^p$ on $\\mathbb{R}^2$: choose the weights from $\\lambda\\sim\\nu^{1/2}|k|^{1/2}$ and isolate the stream-function coupling in a separate supremum-in-$k$ term.","One testable extension is to run the closure inequality on a single Fourier mode with small $k$; the ratio $(4|k|^2)^{-1}$ would show immediately whether the absorption argument can hold without modification."],"forward_implications":["Above the cutoff $|k|\\ge\\nu^{-1/3}$, linearized vorticity decays like $e^{-c\\nu^{1/2}|k|^{1/2}t}$, so high x-frequency structures relax on the time scale $\\nu^{-1/2}|k|^{-1/2}$, faster than the heat equation's $\\nu^{-1}$ scale.","The nonlinear theorem yields a quantitative stability threshold with exponent $\\gamma=7/3$ in the stability definition.","The bootstrap inequality gives control of the dissipation integral $D(t)$ by the initial energy, not just pointwise energy bounds.","The result holds on the unbounded domain $\\mathbb{R}^2$ with no periodicity in $x$, using an anisotropic Sobolev norm adapted to the shear flow."],"supporting_citations":[{"why":"Supplies the unbounded-domain anisotropic energy method and nonlinear bootstrap that the paper transfers from Couette to Poiseuille flow.","marker":"[18]"},{"why":"Establishes enhanced dissipation near Poiseuille flow on a periodic domain, the prior result being extended to the whole plane.","marker":"[12]"},{"why":"Provides the model linear enhanced-dissipation estimates near Couette flow that the linear-energy argument follows.","marker":"[7]"},{"why":"Sets the definition of quantitative stability with exponent gamma that frames the threshold result.","marker":"[1]"},{"why":"Supplies the enhanced-dissipation and hypoellipticity estimates used in the linear analysis.","marker":"[5]"}],"fun_headline_variants":["Poiseuille flow stable for sub-ν^{7/3} vorticity kicks","Enhanced dissipation beats heat decay in Poiseuille flow","Perturbation energy bound holds: 2× initial for Poiseuille flow","ν^{7/3} threshold ensures Poiseuille flow stability"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is a low-frequency bound on the stream function: the proof needs $|k|\\,\\lVert\\psi_k\\rVert_\\infty^2 \\lesssim \\lVert\\omega_k\\rVert_2^2$ to absorb the term $T_6$ in Section 3.5, and this is the point at which Fourier modes with $k\\to0$ can make the argument fail.\n\n","fun_headline_variants_meta":{"raw":{"variants":["Poiseuille flow stable for sub-ν^{7/3} vorticity kicks","Enhanced dissipation beats heat decay in Poiseuille flow","Perturbation energy bound holds: 2× initial for Poiseuille flow","ν^{7/3} threshold ensures Poiseuille flow stability"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000247,"raw_usage":{"total_tokens":1787,"prompt_tokens":933,"completion_tokens":854,"prompt_tokens_details":{"cached_tokens":896},"prompt_cache_hit_tokens":896,"prompt_cache_miss_tokens":37,"completion_tokens_details":{"reasoning_tokens":770}},"tokens_in":37,"tokens_out":854,"duration_ms":29730,"temperature":1.0,"reasoning_tokens":770,"cache_read_input_tokens":896,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T05:58:44.349746+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"A direct Fourier check settles the closure: at y-frequency $\\eta = k$, $|k|\\,\\lVert \\psi_k\\rVert_2\\,\\lVert \\partial_y \\psi_k\\rVert_2 = (4|k|^2)^{-1}\\lVert \\omega_k\\rVert_2^2$, so the ratio blows up as $k \\to 0$. Because this inequality is what absorbs the nonlinear term $T_6$ in Section 3.5, observing the ratio diverge on low-frequency modes would refute the closing argument and hence the proof of Theorem 1.1.","supporting_citations":[{"cited_title":"Enhanced dissipation in the navier–stokes equations near the poiseuille flow,","cited_arxiv_id":null,"evidence_quote":"Establishes enhanced dissipation near Poiseuille flow on a periodic domain, the prior result being extended to the whole plane."},{"cited_title":"Enhanced dissipation and inviscid damping in the invis- cid limit of the navier–stokes equations near the two dimensional couette flow,","cited_arxiv_id":null,"evidence_quote":"Provides the model linear enhanced-dissipation estimates near Couette flow that the linear-energy argument follows."},{"cited_title":"Stability of the couette flow at high reynolds numbers in two dimensions and three dimensions,","cited_arxiv_id":null,"evidence_quote":"Sets the definition of quantitative stability with exponent gamma that frames the threshold result."},{"cited_title":"Enhanced dissipation, hypoellipticity, and anomalous small noise inviscid limits in shear flows,","cited_arxiv_id":null,"evidence_quote":"Supplies the enhanced-dissipation and hypoellipticity estimates used in the linear analysis."}],"review_version":1}