{"id":"6a353daa-282f-4a23-a27f-f540005e296d","arxiv_id":"2607.04458","paper_version":1,"verdict":"ACCEPT","confidence":"HIGH","novelty_score":5.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"Under a boundedness hypothesis on the reference solution, continuous data assimilation with stochastic measurement error drives the expected L2 distance between observed and synchronized Oberbeck–Boussinesq solutions to decay exponentially in the sampling window.","lead":"Mathematicians prove that a continuous data assimilation scheme recovers a bounded Oberbeck–Boussinesq flow from noisy measurements in 2D and 3D. The result gives a rigorous error bound for weather-style models even when the synchronized equations are only weakly solved and the data carry random noise.","discovery_kind":"extension","skeptic_critique":{"model":"grok-4.5","headline":"No significant objection identified","rationale":"The reader correctly isolates hypothesis (3.1) as the sole structural limitation and correctly notes that the remainder of the proof is a routine relative-energy argument once that hypothesis supplies the necessary L∞ control and bootstrap regularity. No hidden circularity, missing Itô correction, or unjustified passage to the limit appears in Sections 5–6. Because the paper states its claim under precisely this hypothesis and the mathematical steps check out, the ACCEPT verdict stands; the present stress-test finds nothing that would move it.","tokens_in":13460,"tokens_out":452,"duration_ms":22194,"concrete_test":"Independently recompute the passage from the kinetic relative-energy inequality (6.1) to the cancelled form (6.3) by substituting the deterministic momentum equation for (u,Θ) and verifying that every linear and pressure term cancels identically while the quadratic remainder is exactly (u-eu)⊗(eu-u):∇u; if any residual of order ||eu-u||_L2 appears that cannot be absorbed by the viscous term, the estimate fails.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The central claim (Theorem 4.1) is a conditional estimate: under the explicit L∞ bound (3.1) on the observed solution, any weak-martingale synchronized solution is driven exponentially close (in expectation, L2) to it by sufficiently strong nudging, up to observation-error terms. The derivation proceeds by inserting the smooth observed fields as test functions into the relative-energy inequalities (5.4)–(5.5) that follow from the weak formulation and energy balances of Definition 3.1, cancelling the deterministic MOB residuals, absorbing the remaining convective and buoyancy terms by the L∞ bound and Young’s inequality, and invoking the standard interpolant absorption of Lemma 6.1. All steps are local and algebraic once (3.1) is granted; the 3-D open regularity issue is already flagged by the authors and does not create an internal gap in the argument that is claimed.","agreement_with_reader":"agree"},"referee_report":{"model":"grok-4.5","summary":"The paper establishes a continuous data assimilation result for a modified Oberbeck–Boussinesq (MOB) system (2.4)–(2.5) in dimensions d=2,3. Under the standing L∞ bound (3.1) on a reference (observed) solution (u,Θ) on (T−,T+), any weak martingale solution (ẽu,ẽΘ) of the synchronized system (3.8)–(3.10) that incorporates deterministic and stochastic observation errors is driven exponentially close to the reference solution in expected L2 distance. The main statement is Theorem 4.1: for any γ>0 there exist Λ0,δ0 (depending only on μ,κ and the form of the interpolants Iδ) such that the bound (4.1) holds for all τ∈(T,T+) whenever Λ≥Λ0 and 0<δ≤δ0. The argument proceeds by deriving relative-energy inequalities (5.4)–(5.5) from the weak formulation and energy balances of Definition 3.1, inserting the smooth observed fields as test functions, cancelling the deterministic MOB residuals, absorbing convective/buoyancy terms via the L∞ bound, and controlling the nudging terms by the standard interpolant absorption of Lemma 6.1.","tokens_in":13579,"tokens_out":818,"duration_ms":8540,"significance":"The result extends the Azouani–Olson–Titi continuous-data-assimilation framework to a physically motivated variant of the Oberbeck–Boussinesq system that arises as a singular limit of a stratified Navier–Stokes–Fourier system, and it accommodates both deterministic and cylindrical-Wiener observation errors. The relative-energy approach, already developed for stochastic compressible fluids, is applied cleanly to a system whose three-dimensional well-posedness remains open; the conditional character of the theorem (under (3.1)) is stated explicitly and is therefore scientifically honest. The work supplies a rigorous justification for nudging-based reconstruction in a meteorological model class, and the estimates are quantitative once the observation-error norms and the interpolant family are fixed.","major_comments":[],"minor_comments":[{"comment":"Throughout the manuscript the synchronized temperature is written both as eΘ and as ˜Θ (and occasionally ˜Θ0). A single consistent notation would improve readability.","section":null},{"comment":"In Definition 3.1 the thermal-energy balance (3.15) ends with the stochastic integral written with respect to dχu,k rather than dχΘ,k; the same slip appears in (6.2) and (6.4). The indices should be corrected.","section":null},{"comment":"Equation (6.4) contains an unmatched parenthesis after the term (eu−u)Θ·∇x(eΘ−Θ). The typographical error does not affect the subsequent estimates but should be fixed.","section":null},{"comment":"The constant K appearing after (6.12) is said to depend on μ,κ and E; a brief indication that it also absorbs the L∞ norms of ∇G, ϑB and G would make the dependence fully transparent.","section":null},{"comment":"A short remark clarifying that the cylindrical Wiener processes are defined on the same stochastic basis as the martingale solution (already implicit in Definition 3.1) would remove any possible ambiguity for readers less familiar with the stochastic-compactness setting.","section":null}],"recommendation":"accept","confidential_remarks":"The manuscript is a solid, technically careful contribution that fits well within the scope of a serious analysis journal. The self-citation pattern is natural given the authors’ prior work on the MOB system and relative-energy methods; no novelty or priority concern arises. I see no reason to request further external review."},"author_rebuttal":null,"desk_editor":{"model":"grok-4.5","letter":"This is a clean, incremental advance in the continuous-data-assimilation program. Feireisl and Petcu take the Azouani–Olson–Titi / Bessaih–Olson–Titi framework, add stochastic measurement noise, and prove that a weak-martingale synchronized solution is driven exponentially close (in expectation, L2) to a bounded observed solution of their modified Oberbeck–Boussinesq system. The result holds in both 2D and 3D under the single working hypothesis that the reference fields stay L∞-bounded.\n\nWhat is new is the combination: the thermodynamically derived MOB system (with the nonlocal boundary condition and the operator M), stochastic cylindrical noise in the nudging terms, and the relative-energy inequality written for martingale solutions. The derivation itself is standard and carefully executed. They obtain the relative-energy inequalities from the weak formulation and energy balances, insert the smooth observed fields as test functions, cancel the deterministic residuals, absorb the convective and buoyancy terms by the L∞ bound plus Young, and use the usual interpolant absorption lemma. Once (3.1) is granted, everything closes algebraically and the Gronwall step produces the claimed bound (4.1). Self-citations supply existence and the relative-energy toolkit; they are independent of the assimilation conclusion and do not create circularity.\n\nThe soft spot is exactly the one the authors flag: hypothesis (3.1). In 2D it follows from the trajectory attractor; in 3D it is an open regularity question of Navier–Stokes type. If the bound fails, the argument does not apply. That is a genuine structural limitation, but it is stated openly and does not hide inside the proof. No free parameters, no invented entities, no load-bearing fitting.\n\nThe paper is for people already working on rigorous data assimilation for fluids or on stochastic relative-energy methods. It is not a breakthrough, but it is a solid, checkable theorem that extends the existing program to a physically motivated system under a weak solution concept. I would send it to peer review without hesitation; a serious referee can verify the estimates from the text plus the cited toolkit. Worth reading if you care about this line of work; otherwise you can safely skip.","headline":"Solid conditional assimilation theorem for the MOB system via relative energy; 3D boundedness is the only real limit and is already flagged.","tokens_in":14248,"tokens_out":550,"would_cite":false,"duration_ms":6722,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["35Q30","35R60","76D05","60H15"],"pacs":[],"model":"grok-4.5","headline":"Continuous data assimilation recovers a bounded Oberbeck–Boussinesq solution from noisy measurements, even when the synchronized system is only weak and stochastic.","keywords":["continuous data assimilation","Oberbeck–Boussinesq system","relative energy inequality","weak martingale solutions","stochastic nudging","trajectory attractor"],"falsifier":"Construct (or exhibit numerically) a bounded reference solution of the three-dimensional modified Oberbeck–Boussinesq system for which, no matter how large the nudging parameter and how fine the interpolant, the expected L2 distance to a weak martingale synchronized solution fails to satisfy the exponential bound (4.1).","tokens_in":14290,"feed_emoji":"🌊","tokens_out":631,"duration_ms":6740,"temperature":0.7,"pith_summary":"The paper shows that a continuous data-assimilation (nudging) scheme can force a synchronized solution of a modified Oberbeck–Boussinesq system to track a reference solution, even when the reference data are only approximately observed and contain both deterministic and random errors. The reference solution is assumed merely bounded in L∞, while the synchronized solution is allowed to be a weak martingale solution of a stochastically forced system. Using a relative-energy inequality adapted to the stochastic setting, the authors prove that the expected L2 distance between the two solutions decays exponentially during the observation window (modulo an explicit error controlled by the size of the measurement noise and the nudging strength) and then remains controlled afterward. The result holds in both two and three space dimensions, so it applies in the physically interesting regime where uniqueness and regularity of the reference solution remain open. A sympathetic reader cares because the method supplies a mathematically justified way to reconstruct unobserved buoyancy-driven flow from partial, noisy measurements without requiring classical well-posedness of the observed system.","feed_headline":"Nudging recovers bounded Boussinesq flow from noisy data","feed_subtitle":"Relative-energy estimates force weak stochastic solutions to track a reference even in 3D","key_machinery":"The relative energy inequality for the stochastic synchronized system. It measures the L2 distance between a weak martingale solution and any sufficiently regular deterministic test pair, absorbs the stochastic and deterministic observation errors, and yields exponential decay once the interpolant operators and the nudging strength are chosen large enough.","core_discovery":"Under the sole hypothesis that a reference solution of the modified Oberbeck–Boussinesq system remains uniformly bounded, any weak martingale solution of the associated stochastically nudged system converges to it in expectation: for every γ>0 there exist a sufficiently large nudging parameter Λ and a sufficiently fine interpolant scale δ such that the expected L2 distance satisfies the exponential-decay-plus-error bound (4.1) on the prediction interval.","pith_inferences":[],"forward_implications":[],"fun_headline_variants":["Relative energy locks weak Boussinesq solutions to bounded reference","Nudging forces stochastic Boussinesq sync under sole boundedness","Continuous assimilation recovers 2D/3D Boussinesq from noisy data","Weak martingale solutions track bounded Oberbeck-Boussinesq flows","Relative-energy inequality yields exponential tracking for nudged Boussinesq"],"cache_read_input_tokens":128,"weakest_assumption_plain":"The observed reference solution must stay uniformly bounded in L∞ for both velocity and temperature on the whole time interval; without that bound the relative-energy comparison cannot be closed.","fun_headline_variants_meta":{"raw":{"variants":["Relative energy locks weak Boussinesq solutions to bounded reference","Nudging forces stochastic Boussinesq sync under sole boundedness","Continuous assimilation recovers 2D/3D Boussinesq from noisy data","Weak martingale solutions track bounded Oberbeck-Boussinesq flows","Relative-energy inequality yields exponential tracking for nudged Boussinesq"]},"model":"grok-4.5","effort":"low","cost_usd":0.004002,"raw_usage":{"total_tokens":1137,"prompt_tokens":609,"num_sources_used":0,"completion_tokens":96,"cost_in_usd_ticks":40020000,"prompt_tokens_details":{"text_tokens":609,"audio_tokens":0,"image_tokens":0,"cached_tokens":256},"completion_tokens_details":{"audio_tokens":0,"reasoning_tokens":432,"accepted_prediction_tokens":0,"rejected_prediction_tokens":0}},"tokens_in":609,"tokens_out":96,"duration_ms":4875,"temperature":1.0,"reasoning_tokens":432,"cache_read_input_tokens":256,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-07-11T18:59:29.629754+00:00","model_set":{"reader":"grok-4.5"},"falsifier":"Construct (or exhibit numerically) a bounded reference solution of the three-dimensional modified Oberbeck–Boussinesq system for which, no matter how large the nudging parameter and how fine the interpolant, the expected L2 distance to a weak martingale synchronized solution fails to satisfy the exponential bound (4.1).","supporting_citations":[],"review_version":1}