{"id":"592b4ce7-36a4-4ff8-b91a-223a33694e39","arxiv_id":"1909.00388","paper_version":1,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Global well-posedness and closed fluctuation-statistics equations are proven for the Lagrangian-averaged SALT 2D Euler-Boussinesq system.","lead":"This paper derives and analyzes a stochastic version of the 2D Euler-Boussinesq equations, where the fluid transport velocity is replaced by its expected value plus noise. It proves global well-posedness and derives closed equations for the variance of fluctuations, framing the mean as 'climate' and fluctuations as 'weather'.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Theorem 4.4 as stated is not proven: the characteristic construction requires E[u0] ∈ H^5, while the theorem only assumes u0 ∈ H^2, and Remark 4.6 concedes the extra condition.","rationale":"The reader's weakest assumption identifies precisely the most load-bearing gap: Theorem 4.4 promises global well-posedness for u0 ∈ H^2, but the proof requires E[u0] ∈ H^5. I independently traced the dependency: §5.2 Step 1 uses Theorem 4.5 to obtain E[u] ∈ C([0,∞), H^5), Sobolev embeds this into C^{3,α'}, and the C^{3,α} character of the stochastic flow is the mechanism that makes the explicit solution (5.21) lie in H^2 × H^3. Without E[u0] ∈ H^5, the drift lacks the regularity needed for a C^{3,α} flow, and the proof collapses at the initial time. Remark 4.6 acknowledges exactly this, so the concern is not a hidden flaw but a mismatch between the theorem statement and the argument. I also checked the second central claim, Example 3.7's closed covariance system: the derivation of equations (3.32)-(3.36) is consistent; the potentially unclosed terms E[(L_ξk u')⊗(L_ξk dθ')] are absorbed by the Leibniz identity into 1/2 L^2 of the cross-covariance, leaving only first-order expectation source terms. Thus the covariance closure appears sound. The remaining weaknesses, such as omitted high-order energy estimates in §5.1 and the sketchy uniqueness step, are standard and would not change the verdict. Consequently, the appropriate disposition remains conditional: the paper's core results are plausible and largely correct, but the headline theorem must be amended to include E[u0] ∈ H^5 or supplemented with an H^2-data existence proof.","tokens_in":34813,"tokens_out":32773,"duration_ms":289576,"concrete_test":"Choose deterministic u0 ∈ H^2(T^2,R^2) \\ H^5(T^2,R^2), for example with Fourier coefficients |\\hat u_k| = |k|^{-3}, and θ0 ∈ H^3(T^2) smooth. For this data E[u0] = u0, so Theorem 4.5's hypothesis fails. Attempt to run the §5.2 characteristic construction: solve the expectation equations (2.15) from u0 and check whether the solution E[u] is in C([0,∞), C^{3,α}(T^2)) for some α>0. If the drift is only H^2 (or becomes smooth only for t>0 but lacks Lipschitz regularity at t=0), the stochastic flow in (5.20) is not C^{3,α}, and the pushforward formula (5.21) cannot be shown to preserve H^2. This would confirm that Theorem 4.4, as stated, is not covered by the proof; restating the theorem with E[u0] ∈ H^5, as Remark 4.6 suggests, would resolve the gap.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central well-posedness claim, Theorem 4.4, is not established for its stated hypothesis. The proof in §5.2 invokes Theorem 4.5 to obtain E[u] ∈ C([0,∞), H^5) and hence C^{3,α} regularity of the characteristic flow, which is essential for the explicit solution formula (5.21) and for the claim that the pushforward (φ_t)^*u0 remains in H^2. However, Theorem 4.5 requires (E[u0], E[θ0]) ∈ H^5 × H^3, and for deterministic initial data E[u0] = u0, so the assumption u0 ∈ H^2 in Theorem 4.4 is insufficient. The authors themselves flag this in Remark 4.6, stating that an additional assumption E[u0] ∈ H^5 is needed, and that the solution then loses regularity to H^2 immediately for t>0. This means the headline theorem overstates the proven result: it should either be restricted to data with E[u0] ∈ H^5, or supplied with a new existence proof for merely H^2 data, which is absent. Additionally, the proof of Theorem 4.5 in §5.1 relies on omitted higher-order energy estimates (H^4 for vorticity and H^3 for temperature) that are only asserted to be 'similar', leaving the H^5 regularity of E[u] itself not fully demonstrated in the text. These gaps are fixable, but as written the central claim of global well-posedness for H^2 initial data is conditional on extra regularity that is not part of the theorem statement.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper develops the Lagrangian-averaged SALT (LA SALT) framework for the two-dimensional Euler–Boussinesq equations with transport noise. It derives the stochastic system (2.12), shows that the expectation equations are deterministic and parabolic, and proves that the fluctuation equations are linear stochastic transport equations slaved to the mean. In the 2D EB case, it obtains a closed system of deterministic equations for the second-order covariances (Example 3.7), and it claims global well-posedness for the stochastic system (Theorem 4.4). The proof strategy is to first solve the expectation equations at high regularity (Theorem 4.5), then to construct pathwise solutions to the linear stochastic system by a stochastic characteristic flow (Section 5.2).","tokens_in":35179,"tokens_out":19101,"duration_ms":165471,"significance":"If the regularity hypotheses are corrected, this is a valuable contribution: it gives a concrete stochastic fluid model with unique global strong solutions and closed deterministic moment equations, directly connecting Lorenz's climate/weather distinction to a tractable SPDE. The derivations in Section 3 are transparent and largely self-contained, the noise fields are inputs rather than fitted parameters, and the characteristic solution formula (5.21) together with the covariance closure are concrete and non-circular contributions. The main obstacle is that the headline well-posedness theorem currently overstates what is proved: the proof requires an extra regularity assumption that is not part of the theorem statement, and a key higher-order estimate needed by Theorem 4.5 is only asserted, not demonstrated.","major_comments":[{"comment":"Theorem 4.4 is not established for the hypotheses as stated. The proof in Section 5.2 begins by invoking Theorem 4.5 to obtain E[u] in C([0,∞),H^5) and hence C^{3,α} regularity of the characteristic flow, which is essential for the explicit solution formula (5.21) and for the claim that the pushforward (φ_t)^*u0 remains in H^2. However, Theorem 4.5 requires E[u0] in H^5, and for deterministic initial data E[u0] = u0, so the stated assumption u0 in H^2 is insufficient. Remark 4.6 concedes this additional condition and notes that the solution then loses regularity to H^2 immediately for t>0. The theorem must either be restated with the extra assumption E[u0] in H^5, or supplied with a new existence proof for merely H^2 mean data; as written, the central well-posedness claim is conditional on regularity not present in the theorem statement.","section":"Section 4.4, Theorem 4.4 and Remark 4.6"},{"comment":"The proof of Theorem 4.5 is incomplete in a load-bearing point. The a priori estimate displayed in (5.4) controls sup_{t∈[0,T]}(||Ω||^2_{H^4} + ||Θ||^2_{H^2}), while Theorem 4.5 concludes (E[u],E[θ]) ∈ C([0,∞),H^5×H^3). The missing H^3 estimate for Θ is not supplied; the text says only that the higher-order H^4 and H^3 estimates for Ω and Θ 'can be established in a similar way.' Since U∈H^5 follows from Ω∈H^4 via the Biot-Savart inequality (4.1), the missing temperature estimate is exactly the piece needed for the stated H^5×H^3 conclusion, and it feeds directly into the characteristic regularity used in the proof of Theorem 4.4. These estimates need to be written out or a precise reference provided.","section":"Section 5.1, Eq. (5.4) and Theorem 4.5"}],"minor_comments":[{"comment":"The estimate is written with ||θ||^2_{H^2} although the dependent variable is Θ; please use consistent notation to avoid confusion with the stochastic temperature θ.","section":"Section 5.1, Eq. (5.4)"},{"comment":"The last line of the Leibniz expansion contains L^2_{ξ_k}ω'⊗dθ', which should read L^2_{ξ_k}u'⊗dθ'; as written it introduces the vorticity ω' without definition in this context.","section":"Example 3.7, Eq. (3.35)"},{"comment":"The remark refers to 'equation (3.18)' when discussing the evolution of Θ^(2); the intended reference is likely (3.28) or (3.32).","section":"Remark 3.8"},{"comment":"The statement that equations (2.12) 'lose their parabolic character and become pure transport equations' is easy to misread as applying to the full system (2.12), which retains the Itô correction term; please rephrase to make clear that the parabolicity is in the expectation equations.","section":"Remark 4.7"},{"comment":"In the uniqueness proof, the Gronwall estimate is written with a proportionality constant that is not explicitly tracked; please make the dependence of the final constant on K(T) explicit for reproducibility.","section":"Section 5.1, Step 3"}],"recommendation":"major_revision","confidential_remarks":null},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Dear [Colleague],\n\nHere is my read on Alonso-Orán et al. The genuinely new content is that this is the first concrete LA SALT fluid model where they carry out the whole package: global well-posedness of the stochastic PDE, closed equations for the covariance and higher central moments for advected scalars, and a characteristic-based existence proof. The moment-closure part is the cleanest piece. Proposition 3.6 and the scalar p-th moment formula in Appendix B are correct and genuinely useful additions to the LA SALT toolkit.\n\nBut the main theorem overstates what is proven. Theorem 4.4 says H^2 × H^3 initial data gives a global strong solution. In the proof, the characteristics require E[u] ∈ C^{3,α}, which is obtained via Theorem 4.5 from the assumption E[u0] ∈ H^5. That assumption is not in the theorem statement. The authors admit this in Remark 4.6. For deterministic initial data this means you actually need u0 ∈ H^5, and the solution drops to H^2 immediately. So the headline statement is not false exactly—it is just unproven as the theorem is written. It is a fixable mismatch: either state the theorem with E[u0] ∈ H^5 or supply a separate existence argument for merely H^2 data. The mention of weak solutions via [dLT19] doesn't rescue the strong-solution theorem.\n\nThe second soft spot is the high-order energy estimates in Section 5.1. They give the L2 and H1 estimates in detail, then say H^4 for vorticity and H^3 for temperature are 'similar' and omit them. Those estimates are needed for Theorem 4.5's H^5 conclusion, which is the foundation of the whole proof. A referee should ask for those calculations before trusting the paper.\n\nI don't think the gaps are fatal. The framework is coherent, the derivations are careful where they are shown, and the covariance closure is a real result. The paper is written for people working on stochastic fluid dynamics and LA SALT; the climate framing in the abstract should be ignored.\n\nMy recommendation: send it to peer review, but with a request for major revision that fixes the theorem statement and fills in the missing estimates. The core is worth referee time, but it is not ready in the current form.\n\nBest,\n[Your name]","headline":"First full LA SALT well-posedness and moment-closure analysis for 2D Euler-Boussinesq, but the headline theorem as stated needs an extra H^5 assumption that the proof requires and the statement omits.","tokens_in":35697,"tokens_out":2944,"would_cite":true,"duration_ms":26629,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q35","35R60","60H15","76B03"],"pacs":[],"model":"deepseek-v4-flash","headline":"A stochastic Lagrangian-averaged version of the 2D Euler–Boussinesq equations has unique global strong solutions, and the covariance of its fluctuations evolves in a closed system of deterministic PDEs.","keywords":["Lagrangian-averaged SALT","transport noise","Euler–Boussinesq equations","global well-posedness","closed moment equations","stochastic fluid dynamics","Kelvin circulation theorem","climate and weather modelling"],"falsifier":"Solve the closed covariance system (3.32), (3.34), (3.36) on $\\mathbb{T}^2$ and compare it with the covariance estimated from a large ensemble of solutions of the full SPDE (2.12); disagreement would show the claimed moment closure is false. Alternatively, take deterministic initial data $u_0\\in H^2\\setminus H^5$, $\\theta_0\\in H^3$ and check whether the characteristic construction still yields a global $H^2$ solution; failure would show Theorem 4.4 needs its extra regularity assumption stated explicitly.","tokens_in":34656,"feed_emoji":"🌊","tokens_out":10726,"duration_ms":126611,"temperature":0.7,"pith_summary":"This paper constructs a stochastic version of the two-dimensional Euler–Boussinesq equations, the LA-SALT model, in which the drift velocity in the stochastic transport is replaced by its statistical expectation. The central claim is that this model has unique global strong solutions for initial velocity $u_0\\in H^2(\\mathbb{T}^2,\\mathbb{R}^2)$ and initial temperature $\\theta_0\\in H^3(\\mathbb{T}^2,\\mathbb{R})$, provided the noise fields are smooth and uniformly elliptic. It also claims that the mean fields obey deterministic equations, that the fluctuations obey linear stochastic transport equations slaved to those means, and that the covariance of the velocity and temperature fields closes into a finite system of PDEs. If correct, the model gives a well-posed mathematical setting in which 'climate' (the expectation) and 'weather' (the fluctuations and their statistics) evolve separately, with climate change driven by deterministic mean dynamics together with fluctuation correlations.","feed_headline":"2D Boussinesq with noise has global solutions and closed moments","feed_subtitle":"A Lagrangian-averaged model splits climate means from weather fluctuations and closes their covariance equations.","key_machinery":"The load-bearing object is the LA-SALT stochastic transport velocity $dX_t = \\mathbb{E}[u^L_t](X_t)\\,dt + \\sum_k \\xi_k(X_t)\\circ dW^k_t$: keeping the noise in the Lagrangian label but replacing the drift by its expectation preserves the Lie–Poisson, semidirect-product structure while making the mean-field equations deterministic and the fluctuation equations linear. The analytic machinery is two-stage: energy estimates for the closed vorticity–temperature expectation system give $\\mathbb{E}[u]\\in C([0,\\infty),H^5)$, then the stochastic flow $\\varphi_{s,t}$ of $dX_t$, together with Itô’s first formula and the Kunita–Itô–Wentzell formula for $k$-forms, yields an explicit representation of the solution as a push-forward of the initial data. Moment closure is obtained from Itô’s product rule and Cartan’s formula, which lets the exterior derivative commute with Lie transport and makes the $d\\theta$ covariance close the velocity–temperature covariance system.","core_discovery":"The discovery is that replacing the drift velocity in SALT by its expectation—the LA-SALT modification—turns the stochastic Boussinesq dynamics into a three-level hierarchy. The expectations $\\mathbb{E}[u]$ and $\\mathbb{E}[\\theta]$ satisfy the closed deterministic system (2.13), which after taking the curl becomes the parabolic vorticity–temperature system (2.15). The fluctuations $u'=u-\\mathbb{E}[u]$ and $\\theta'=\\theta-\\mathbb{E}[\\theta]$ then satisfy linear stochastic transport equations whose coefficients are determined by the already-solved means. The covariance tensors $U^{(2)}=\\mathbb{E}[(u')^2]$, $\\Theta^{(2)}=\\mathbb{E}[(\\theta')^2]$, and $\\mathbb{E}[u'\\otimes d\\theta' + d\\theta'\\otimes u']$ form the closed system (3.32), (3.34), (3.36). On the analytic side, Theorem 4.4 proves unique global strong solutions by first solving the expectation equations and then constructing the stochastic solution along the flow of the characteristic SDE.","pith_inferences":["The proof's extra regularity requirement $\\mathbb{E}[u_0]\\in H^5$, flagged only in Remark 4.6, means the theorem as stated is slightly stronger than what the characteristic proof supports; readers should check whether weak-solution methods remove the gap.","Because the expectation system becomes parabolic only through the uniform ellipticity condition (4.8), the global regularity result depends essentially on the noise; as the noise fields degenerate toward the deterministic Boussinesq system, whose global regularity is open, the noise is doing real analytic work.","The closed covariance system invites a concrete numerical test: solve (3.32)–(3.36) and compare with ensemble statistics of the full SPDE, which would validate or disprove the moment closure on a discretized torus.","If the same closure persists for other semidirect-product fluid models, it could provide systematic variance-evolution equations for climate models; the paper itself notes that closure does not hold for general tensor advected fields because tensor products do not commute."],"forward_implications":["The expectation equations (2.13) are closed and deterministic, so once they are solved they supply all coefficients of the linear fluctuation equations; climate and weather dynamics can be computed sequentially rather than as one coupled SPDE.","The covariance system (3.32), (3.34), (3.36) is closed, meaning variance growth of the fluctuations is governed by deterministic PDEs driven by gradients of the mean fields.","The $p$-th central moments of any advected scalar field close in the iterated system (3.37), giving equations for non-Gaussianity of temperature fluctuations in this model.","Theorem 4.4 rules out finite-time blow-up for these SPDE solutions under the stated smoothness and ellipticity conditions on the noise fields."],"supporting_citations":[{"why":"Introduces SALT, the stochastic-advection framework whose Lagrangian averaging produces the LA-SALT model.","marker":"[Hol15]"},{"why":"Proposes averaging in probability space, giving the drift-replacement idea at the core of LA-SALT.","marker":"[DH19]"},{"why":"Develops LA-SALT for fluid systems and supplies the semidirect-product context this paper extends.","marker":"[DHL19]"},{"why":"Gives the independent mean-field analogue in which expectation of the stochastic equations yields Navier–Stokes.","marker":"[Hoc18]"},{"why":"Establishes local well-posedness for the SALT Boussinesq system, the local result this paper makes global.","marker":"[AOdL19]"},{"why":"Provides the Kunita–Itô–Wentzell formula for k-forms used in the characteristic representation of solutions.","marker":"[dLHLT19]"},{"why":"Supplies the stochastic-flow and regularity results used to construct the flow of the characteristic SDE.","marker":"[Kun97]"},{"why":"Sets the Lie–Poisson semidirect-product structure and Kelvin-theorem framework on which LA-SALT rests.","marker":"[HMR98]"}],"fun_headline_variants":["Stochastic Boussinesq: closed moments and global solutions","LA-SALT splits climate and weather in 2D noise-driven flows","2D Euler-Boussinesq with transport noise: climate and weather solved","Noise model yields closed equations for fluid climate and weather","Mean and fluctuation hierarchy closes for stochastic Boussinesq"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the expected initial velocity $\\mathbb{E}[u_0]$ is smooth enough, specifically in $H^5$, even though Theorem 4.4 states only $u_0\\in H^2$; if $\\mathbb{E}[u_0]$ lacks that smoothness, the stochastic-flow construction in Section 5.2 does not go through as written.","fun_headline_variants_meta":{"raw":{"variants":["Stochastic Boussinesq: closed moments and global solutions","LA-SALT splits climate and weather in 2D noise-driven flows","2D Euler-Boussinesq with transport noise: climate and weather solved","Noise model yields closed equations for fluid climate and weather","Mean and fluctuation hierarchy closes for stochastic Boussinesq"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.000584,"raw_usage":{"total_tokens":2793,"prompt_tokens":1036,"completion_tokens":1757,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":652,"completion_tokens_details":{"reasoning_tokens":1682}},"tokens_in":652,"tokens_out":1757,"duration_ms":16134,"temperature":1.0,"reasoning_tokens":1682,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T05:54:11.553703+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Solve the closed covariance system (3.32), (3.34), (3.36) on $\\mathbb{T}^2$ and compare it with the covariance estimated from a large ensemble of solutions of the full SPDE (2.12); disagreement would show the claimed moment closure is false. Alternatively, take deterministic initial data $u_0\\in H^2\\setminus H^5$, $\\theta_0\\in H^3$ and check whether the characteristic construction still yields a global $H^2$ solution; failure would show Theorem 4.4 needs its extra regularity assumption stated explicitly.","supporting_citations":[],"review_version":1}