{"id":"cdead99f-7111-4617-a969-d10e4559a8f5","arxiv_id":"2602.15810","paper_version":2,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":2,"one_line_summary":"From Gaussian conditional expectations the paper builds an effective energy–enstrophy diffusion and proves that, when forcing is concentrated on low modes, expected energy and enstrophy nearly coincide.","lead":"Using a Gaussian measure, the authors construct a two-dimensional diffusion that tracks energy and enstrophy of a truncated fluid, and prove it has a unique steady state with a quantitative condensation bound. A companion paper is supposed to show this diffusion emerges as the inviscid limit of stochastically forced Galerkin-Navier-Stokes, which would make the bound physically meaningful.","discovery_kind":"first_principles","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Physical conclusion hinges on unproved companion [21] identification; without it Theorem 5.1 is an abstract property of the auxiliary diffusion, not a Navier-Stokes result.","rationale":"The reader's weakest assumption identifies the same load-bearing concern: the physical relevance of the condensation bound is conditional on the companion article [21]. I checked the internal chain of the paper — qℓ properties (Theorem 2.3), well-posedness (Theorem 3.2), stationary uniqueness (Theorem 4.1), and the condensation bound (Theorem 5.1). The algebra in Theorem 5.1 is consistent: the split in (5.2), the use of the monotonicity bound (2.12), the replacement E[U−V] ≤ E[U] = B0/2, and the constants λ3/(λ3−1) all match. I found no circularity, parameter-fitting, or internal inconsistency. The only real soft spot is the unproved inviscid-limit identification, which is asserted via [21] and not part of this preprint. If [21] fails to deliver the claimed identification, the condensation bound remains true but says nothing about Navier-Stokes turbulence. This supports the reader's CONDITIONAL verdict; no adjustment is needed. The sketched minorization (4.3)–(4.4) is a secondary presentational gap that is likely fillable by standard methods, not the decisive issue.","tokens_in":27902,"tokens_out":16866,"duration_ms":152567,"concrete_test":"Obtain [21] and verify the convergence proof: specifically, check that the laws of (U^ε_t,V^ε_t) = (‖X^ε_t‖², ‖X^ε_t‖²_{-1}) for X^ε solving (0.4) with κ=κ_ε→0 are tight in C(R_+, C), that every subsequential limit solves the martingale problem for ̃A in (3.6), and that the limiting law is independent of the choice of κ_ε→0. If any one of these steps fails, or if the limit differs from ̃P, the physical reading of Theorem 5.1 is not established.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The advertised conclusion — inviscid condensation for Galerkin-Navier-Stokes — rests entirely on the companion article [21] assertion that the stationary law ̃P of the diffusion (3.6) is the inviscid limit of the enstrophy-energy process of (0.4), with Brownian forcing and random stirring whose strength can be made arbitrarily small. This identification is not proved here; the present text states it only by reference (Abstract, §0, Remark 1.1). Consequently Theorem 5.1/(0.6) is at present a bound on an auxiliary two-dimensional diffusion: if the limiting law in [21] differs from ̃P, or if the κ→0 limit cannot be interchanged with ε→0, the condensation statement about Navier-Stokes does not follow. This is not an internal inconsistency in the displayed proofs; the displayed algebra in Theorem 5.1 checks out, and the minorization step (4.3)–(4.4) in Theorem 4.1 is sketched but standard. The decisive dependence is the external bridge [21]. The paper's own language ('companion article', 'proof of concept') makes clear that without [21] the physical conclusion is unsupported.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper constructs a two-dimensional diffusion on the interior of the cone C = {0 ≤ v ≤ u ≤ λ_N v}, with coefficients built from conditional expectations qℓ of xℓ² under an N-dimensional Gaussian measure given the values of two quadratic forms (enstrophy and energy). It proves well-posedness of the martingale problem (Theorem 3.2), existence and uniqueness of a stationary distribution (Theorem 4.1), a martingale characterization of the stationary process (Proposition 4.2), stationarity identities for B0 and B1 (Proposition 4.4), and a condensation bound (Theorem 5.1) controlling 2E[U0−V0] in terms of B1−B0 and B0 times ℓ0/(N−ℓ0). The companion article [21] is claimed to identify this diffusion as the inviscid limit of the enstrophy-energy process of a Galerkin-Navier-Stokes type evolution with Brownian forcing and small stirring.","tokens_in":28191,"tokens_out":12190,"duration_ms":111183,"significance":"If the results hold, the paper provides a rigorous effective model in which Gaussian fluctuations produce a quantitative condensation bound for the stationary measure, and—together with the companion identification—would give a concrete statement about inviscid condensation in a Galerkin-Navier-Stokes setting. The displayed algebra in Theorem 2.3, Proposition 3.3, and Theorem 5.1 is coherent, and the derivation of the bound uses the stationarity identities without fitting parameters. The proof of Theorem 2.3 (monotonicity of the barycenter) is elegant. However, the advertised physical conclusion is conditional on the companion article, and the proof of the key minorization in Theorem 4.1 is only sketched.","major_comments":[{"comment":"The proof of Theorem 4.1 rests on the minorization (4.4), but the paragraph following (4.4) only states that one uses an extension, Duhamel's formula, heat-kernel lower bounds from [11], and a chaining argument. No estimate or choice of γ is given. Since (4.4) is exactly the small-time full-support condition needed for the Meyn–Tweedie theorem to yield (4.1)–(4.2), this is a load-bearing gap in the current draft. Please supply a complete proof of (4.4), or state explicitly which theorem, with all hypotheses verified, directly implies it under the local Lipschitz and ellipticity conditions established in Section 3.","section":"Section 4, Eq. (4.4)"},{"comment":"The physical conclusion—condensation for inviscid Galerkin–Navier–Stokes—is asserted only through the companion article [21]. The present paper does not prove that the law ̃P of the diffusion (3.6) is the ε→0 limit of the enstrophy-energy process of (0.4), nor that the κ→0 limit can be interchanged with ε→0. Consequently Theorem 5.1/(0.6) is presently a theorem about an auxiliary two-dimensional diffusion; its Navier–Stokes reading is conditional on [21]. This is not an internal inconsistency in the displayed proofs, but it is an unverified external bridge that should be made explicit in the statements, or [21] must be supplied and verifiable.","section":"Abstract and §0, Eq. (0.4), Remark 1.1"}],"minor_comments":[{"comment":"The definition of B1 contains a typo: it should be a∑ℓ λℓ(1+δℓ), not a∑ℓ λℓ(1+δλ).","section":"Eq. (4.8)"},{"comment":"The notation ℓ∨ℓ0 is used without definition. Please define it as max(ℓ,ℓ0).","section":"Eq. (5.2)"},{"comment":"In the sector 0 ≤ v ≤ u ≤ µ2v, the text says 'when (u,v) ∈ ∆1'; the sector ∆1 is not defined and the intended label is ∆2.","section":"Eq. (2.10) and Appendix B"},{"comment":"Several equations contain OCR-style garbled symbols (e.g. '∂2ℓψ' and various /brack⟩/rac⟩ artifacts) and need re-typesetting. Figures 1 and 2 are referenced but do not appear in the draft.","section":"Eqs. (1.10), (0.3), (3.6)"},{"comment":"The companion article is cited only as 'Available on arXiv, 2026', without an arXiv number or a verifiable link. If the paper is to be evaluated together with [21], the reference should be complete.","section":"Reference [21]"}],"recommendation":"major_revision","confidential_remarks":"This is a preliminary draft whose internal mathematics appears plausible and whose main theorem on the auxiliary diffusion is likely correct after filling in the minorization details. The biggest issue for the journal is the unverified companion bridge: the advertised Navier–Stokes conclusion depends entirely on [21], which the referees cannot currently check. I recommend major revision: the authors should either prove or explicitly cite a verifiable version of the identification in [21], and expand the proof of (4.4). I do not recommend rejection, since the condensation bound for the constructed diffusion is interesting in its own right."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"You should know this paper in one breath: it constructs a two-dimensional diffusion on a cone using Gaussian conditional expectations, proves that diffusion has a unique stationary distribution, and proves a quantitative condensation bound for that stationary law. The math is careful and the main new ideas—Theorem 2.3's monotonicity/upper bound for the q_l functions, and the condensation bound in Theorem 5.1—are genuinely new. The proof of well-posedness and stationarity is honest, with explicit Lyapunov–Foster functions and clean martingale identities (4.9)–(4.10). I found no circularity or parameter-fitting. The free parameters δ_l and a are structural; the bound holds for all allowed values.\n\nThe soft spots are real but proportionate. First, the proof of Theorem 4.1's minorization step (4.4) is sketched: one sentence about Duhamel's formula, heat-kernel lower bounds, and chaining. A referee will want the details, though this looks like standard machinery. Second, and more important, the physical interpretation is entirely outsourced to the companion article [21]. The abstract and introduction state that the diffusion here is the inviscid limit of the enstrophy–energy process of a Galerkin–Navier–Stokes type equation with Brownian forcing and random stirring. That identification is not proved in this paper. Without it, Theorem 5.1 is a statement about an auxiliary diffusion, not about 2D turbulence. The paper itself labels the companion as a 'proof of concept,' so this is not an internal inconsistency—but it is a load-bearing external dependency.\n\nIf the companion construction holds up, this is a substantive step toward rigorous condensation in a stochastically forced 2D setting. If not, the paper still stands as a self-contained piece of stochastic analysis, but with a much narrower claim.\n\nWho is this for? People working on rigorous aspects of stochastic 2D turbulence, Gaussian conditioning, or effective diffusions. It deserves a serious referee: the core results are novel and the displayed proofs are coherent. I would send it to review, with a specific instruction to scrutinize (4.4) and to make the companion dependence explicit.","headline":"Solid new bound for an auxiliary energy–enstrophy diffusion; the advertised Navier–Stokes payoff is deferred to a companion paper, so the result's value hinges on that bridge.","tokens_in":28648,"tokens_out":1681,"would_cite":false,"duration_ms":17892,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60J60","60J25","76D05"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper constructs a two-dimensional effective diffusion for enstrophy and energy and proves its stationary law concentrates on low modes when the Brownian forcing is spectrally low.","keywords":["condensation","enstrophy","energy","elliptic diffusion","stationary distribution","Galerkin-Navier-Stokes","inviscid limit","Gaussian conditional expectation"],"falsifier":"Run the stationary Galerkin-Navier-Stokes dynamics (0.4) at small ε with a vanishing stirring strength κ_ε and a Brownian forcing with B1/B0 << λ_N; if the stationary value of 2E[U0−V0] does not go to 0 (or does not respect the bound) as ε→0, then the identification of the diffusion with the inviscid limit fails.","tokens_in":27795,"feed_emoji":"🌀","tokens_out":4465,"duration_ms":44634,"temperature":0.7,"pith_summary":"This paper aims to show that a simple two-dimensional stochastic process—tracking twice the enstrophy and twice the energy of a high-dimensional Gaussian field—has a unique stationary distribution, and that this distribution satisfies a quantitative condensation bound: the expected energy is almost equal to the expected enstrophy whenever the Brownian forcing acts on modes well below the top of the spectrum and the number of modes is large. The result matters because the authors argue in a companion article that this 2D process is the inviscid limit of the enstrophy-energy coordinates of a Galerkin-Navier-Stokes evolution with Brownian forcing and vanishing random stirring. If that identification holds, the bound is a proof of inviscid condensation—the attrition of all but the lowest Fourier modes in stationary 2D turbulence. The proof rests on Gaussian conditional expectations: replacing the squared mode amplitudes by their conditional expectations given the two quadratic forms produces a well-posed martingale problem and a unique invariant measure.","feed_headline":"New bound shows when energy condenses to low modes","feed_subtitle":"A 2D diffusion's stationary law nearly equalizes energy and enstrophy when forcing sits on low modes.","key_machinery":"The key object is the collection q_l, 1≤l≤N, of 'good versions' of the conditional expectations E_μ[x_l^2 | ‖x‖^2=u, ‖x‖_{-1}^2=v]. They are homogeneous of degree 1, rational on each subsector of the cone, Lipschitz continuous, and satisfy the sum rules Σ q_l = u and Σ q_l/λ_l = v. Theorem 2.3's monotonicity estimate (1−μ_i^{-1})q̂_i non-decreasing in i is the load-bearing structural property; it gives the upper bound q̂_i ≤ 1/[(n-i+1)(1−μ_i^{-1})] (u−v) that ultimately produces the condensation bound.","core_discovery":"The central discovery is that the functions q_l(u,v)—the Gaussian conditional expectations of the squared mode amplitudes given energy and enstrophy—are regular, Lipschitz, and satisfy a monotonicity property (Theorem 2.3): the increments (1−μ_i^{-1})q̂_i are non-decreasing in mode index i. This monotonicity forces low-index modes to have conditional expectations of order 1/N, which is exactly what makes the stationary measure of the diffusion condense. The paper then defines an elliptic diffusion on the open cone 0