{"id":"a1a51640-de37-4f51-8279-a312eec13a6b","arxiv_id":"2501.18561","paper_version":5,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":4.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"A survey with new extensions of the maximal-regularity framework for nonlinear SPDEs, yielding local well-posedness, blow-up criteria, and instantaneous regularization in critical spaces.","lead":"This survey consolidates a framework for stochastic parabolic evolution equations using maximal regularity and critical spaces, and adds new blow-up criteria and regularization results. It is a reference point for researchers working on stochastic Navier-Stokes, reaction-diffusion, and quasi-geostrophic equations.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No internal error found in the conditional theorem, but the advertised instantaneous-regularization part of Theorem 1.1 silently requires SMR for a whole family of exponents, not just the single (p,κ) used elsewhere.","rationale":"The reader correctly identifies SMR as the load-bearing input; without it, none of the abstract theory starts. However, since Theorem 1.1 is a conditional statement, the fact that SMR is cited rather than proved is not an internal defect, and the survey is transparent about open cases (Remark 3.15). The more precise gap I see is the mismatch between the bird's-eye regularization claim and the actual hypotheses in §5.3: the regularization theorems require SMR for all r > 2, not just for the single (p,κ) used in local well-posedness. This does not invalidate the paper's central conditional claim, but it should be flagged in the abstract-level theorem so that users do not over-read Theorem 1.1(3). The paper itself is otherwise careful: Lemma 4.3 is proved in detail, the proofs of Theorems 5.1 and 5.2 are sketched with the main estimates displayed, and the applications are explicit about which SMR classes are available. No load-bearing error was found in the reviewed material, so the reader's CONDITIONAL verdict remains appropriate without change.","tokens_in":69115,"tokens_out":5940,"duration_ms":64693,"concrete_test":"Re-derive Theorem 5.7 (or Theorem 5.6 with κ=0) using only the single-exponent assumption (A,B) ∈ SMR_{p,0} instead of the full family SMR_{r,α} for all r > 2. Check whether Step 2 of the proof can still control F(u) and G(u) in L^p when the gain in integrability r > p is needed for the bootstrap; if the interpolation argument fails without the full family, then Theorem 1.1(3) must be restated with the full-family SMR hypothesis made explicit.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The main theorem is explicitly conditional on stochastic maximal Lp-regularity, and the survey honestly cites prior work for SMR rather than proving it. That is not a flaw in a conditional statement. The load-bearing caveat concerns Theorem 1.1(3): the informal statement says regularization holds under 'relatively weak assumptions', but the precise results in §5.3 require much more. Theorem 5.6 assumes (A,B) ∈ SMR_{r,α} for all r ∈ (2,∞) and α ∈ [0, r/2−1), Theorem 5.7 adds the separate growth condition (5.21), and Proposition 5.9 needs both the stronger SMR family and extra regularity of u0. Thus the advertised regularization does not follow from the SMR_{p,κ} assumption stated in Theorem 1.1 alone. This is a scope limitation rather than an inconsistency: the precise theorems disclose the extra hypotheses. Still, a reader applying Theorem 1.1 to an operator for which SMR is only known for one fixed p (as in several Krylov-type Lp-results cited in §3.6) cannot conclude instantaneous regularization. The problem is compounded by the fact that SMR itself is open in some natural spaces (Remark 3.15), so both the well-posedness and the regularization conclusions inherit a nontrivial verification burden.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper is an extended survey of the authors' framework for semilinear stochastic evolution equations of the form du + Au dt = F(u) dt + (Bu + G(u)) dW, built on stochastic maximal L^p-regularity with power weights and a criticality condition (1.4). The abstract theory is developed in Sections 3–5: weighted stochastic maximal regularity, local well-posedness, blow-up criteria, and instantaneous regularization. Section 6 presents a critical variational setting, and Sections 7–8 apply the results to Allen–Cahn, Cahn–Hilliard, reaction-diffusion, quasi-geostrophic, and Navier–Stokes equations. The survey refines and unifies earlier work of the authors and also contains some new results, notably the blow-up criterion in Theorem 5.1(1) and a tentative treatment of quasi-geostrophic equations in Section 8.3.","tokens_in":69352,"tokens_out":5092,"duration_ms":57322,"significance":"If the central conditional claim is accepted, the framework provides a unified route to local well-posedness in critical spaces, sharp blow-up criteria, and instantaneous regularization for a broad class of nonlinear SPDEs. The paper is transparent about its main input: stochastic maximal L^p-regularity is an assumption verified by reference rather than proved here, and Remark 3.15 records natural spaces where the property is open. Strengths include the explicit criticality condition (1.4), the weighted maximal-regularity setting, the new blow-up criterion Theorem 5.1(1) with a detailed proof, and extensive applications to concrete models. The main reservations are the gap between the advertised regularization in Theorem 1.1(3) and the stronger hypotheses of Theorems 5.6–5.7 and Proposition 5.9, and the incomplete proof of the second blow-up criterion in Theorem 5.1.","major_comments":[{"comment":"The advertised instantaneous-regularization statement is not a consequence of the hypotheses stated in Theorem 1.1. The precise results in Section 5.3 require (A,B) ∈ SMR_{r,α} for all r ∈ (2,∞) and α ∈ [0,r/2−1) (Theorems 5.6 and 5.7), the additional growth condition (5.21) in Theorem 5.7, and, for p = 2, the subcritical growth condition (5.23) together with u0 ∈ X_{1/2+ε} (Proposition 5.9). Please either include these extra hypotheses in Theorem 1.1(3) or replace that part by a precise statement pointing to Section 5.3 with a clear disclaimer that a single SMR_{p,κ} assumption does not suffice.","section":"Section 1.1, Theorem 1.1(3)"},{"comment":"The proof of the second blow-up criterion is not completed in the survey. After Lemma 5.5, the text says that 'one can, in principle, follow the argument in [AV22b]', but the required verification that the solution satisfies the inequalities of the referenced lemma is not supplied. Since Theorem 5.1(2) is a central tool for global well-posedness and is presented as an improvement over [AV22b, Theorem 4.10(3)], please either give a complete proof or explicitly label the statement as quoted from [AV22b] with only an adapted interpolation step.","section":"Section 5.1, Theorem 5.1(2)"}],"minor_comments":[{"comment":"The title contains a typo: 'SUR VEY' should read 'SURVEY'.","section":"Title"},{"comment":"In the sentence 'we note tay conservative terms', 'tay' should be 'that'.","section":"Section 4.3"},{"comment":"The notation X_{1−κ/p} is used without a second interpolation parameter; please clarify whether this is the real interpolation space X_{1−κ/p,p} and similarly in the embedding display following the theorem.","section":"Theorem 5.1(2)"},{"comment":"The derivation of exponential moments by 'letting p→∞ in (6.2)' needs the constants C and C_T to be independent of p; this is claimed but should be stated explicitly before the passage to the limit.","section":"Section 6.3.3"},{"comment":"The quasi-geostrophic results are announced as 'may be new' with the primary aim of demonstrating techniques. If these are intended as new contributions, please give precise theorem statements with full hypotheses and either proofs or explicit references; otherwise soften the novelty claim in the abstract and in Section 1.5.","section":"Sections 1.5 and 8.3"},{"comment":"The notation L^p(Ω; L^p(a, τ, w^a_κ; X0)) for random intervals is not formally defined; a short remark that this means the subspace of progressively measurable processes with finite weighted norm would improve readability.","section":"Definition 3.7"},{"comment":"The word 'Instanteneous' appears misspelled; it should be 'Instantaneous'.","section":"Figure 1 and Contents"}],"recommendation":"major_revision","confidential_remarks":"The paper is a survey, so the appropriate bar is whether the conditional framework and its precise statements are reliable. I believe the main framework is sound and well-referenced. The two issues above are fixable: Theorem 1.1(3) must be aligned with the hypotheses of Section 5.3, and Theorem 5.1(2) needs either a complete proof or an explicit deferral. The paper is heavily self-referential, which is acceptable in a survey, but the editor may wish to confirm that the prior results [AV22a, AV22b] are publicly accessible and that the new proofs in this manuscript do not silently depend on unpublished details."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Here's the short version. This is a serious survey of the authors' own maximal-regularity framework for semilinear parabolic SPDEs, and it does what a good survey should: it consolidates a large body of work, explains the criticality condition clearly, and adds a few genuine new results. The most valuable new items are Theorem 3.13—which extends Da Prato's Hilbert-space result to all p≥2 with weights—and the new blow-up criterion in Theorem 5.1(1). The exposition of the local well-posedness and blow-up machinery in Sections 4 and 5 is careful and mostly self-contained. The applications sections (7 and 8), especially the quasi-geostrophic and Navier-Stokes parts, are useful blueprints for applying the framework.\n\nThe main soft spot is a scope mismatch between the informal theorem in the introduction and the precise results. Theorem 1.1(3) advertises instantaneous regularization 'under relatively weak assumptions,' but the actual theorems in §5.3 require SMR_{r,α} for all r∈(2,∞) and α∈[0,r/2−1), plus in the κ=0 case the extra growth condition (5.21), and Proposition 5.9 adds further regularity on u0. That's a real gap between the advertisement and the product. It's not a load-bearing error—the precise statements are honest—but a reader who applies Theorem 1.1 with SMR for a single (p,κ) will overclaim the regularization. The stress-test note gets this exactly right.\n\nTwo smaller reservations. First, Theorem 5.1(2) defers its proof to [AV22b], and the quasi-geostrophic results in §8.3 are flagged 'may be new' without full detail. That's acceptable in a survey, but it means the genuinely new parts are not all self-contained. Second, the survey is heavily self-referential. That's a natural consequence of consolidating one's own framework, and the prior results are externally supported, so I don't hold it against the paper.\n\nWho should read this: anyone working on SPDEs who wants a map of the maximal-regularity approach, and anyone applying the framework to a new concrete equation. It deserves a serious referee. My recommendation: send it to peer review, but require the authors to fix the mismatch between Theorem 1.1(3) and the hypotheses in §5.3, and to make the status of deferred proofs explicit at each point.","headline":"A solid, honest survey of the authors' maximal-regularity framework for semilinear SPDEs, with a few real new results; the intro's regularization claim is broader than the precise theorems support, but that's a scope issue, not an error.","tokens_in":69914,"tokens_out":2841,"would_cite":true,"duration_ms":26448,"reading_group":"yes","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60H15","35A01","35B65","35K57","35K90","35R60","76M35"],"pacs":[],"model":"deepseek-v4-flash","headline":"If the linear part of a nonlinear SPDE has stochastic maximal Lp-regularity with a time weight, and the nonlinearities obey a criticality condition, then the equation has a unique maximal local solution, sharp blow-up criteria, and…","keywords":["stochastic maximal Lp-regularity","critical spaces","blow-up criteria","instantaneous regularization","Navier-Stokes equations","Allen-Cahn equation","quasi-geostrophic equations","reaction-diffusion systems"],"falsifier":"If one could exhibit a single triple (A,B,F,G) satisfying Assumption 4.1 and (4.3) with (A,B) ∈ SMR_{p,κ} but without a unique maximal local solution, Theorem 1.1 would be false; the first concrete test is the open case of Remark 3.15 -- deciding whether SMR_{p,κ} holds for X0 = $L^{2}$(R; L^q(R)) with q > 2, since failure there would block the framework for that whole class of spaces.","tokens_in":68889,"feed_emoji":"🌊","tokens_out":7781,"duration_ms":77136,"temperature":0.7,"pith_summary":"This survey exposes a framework for nonlinear Itô SPDEs of the form du + Au dt = F(u) dt + (Bu + G(u)) dW. The central claim is that if the linear pair (A,B) enjoys stochastic maximal L^p-regularity with time weight t^κ dt, and the nonlinearities (F,G) are locally Lipschitz with growth obeying the criticality inequality (1.4), then the equation has a unique maximal local solution, sharp blow-up criteria, and -- under mild extra conditions -- instantaneous regularization. The abstract critical spaces of the framework coincide, in concrete problems, with classical scaling-invariant spaces, which makes the results sharp for models such as Navier–Stokes and quasi-geostrophic equations.","feed_headline":"One weighted regularity condition controls critical SPDE blow-up","feed_subtitle":"Stochastic maximal Lp-regularity yields unique maximal solutions, sharp blow-up criteria, and instantaneous regularization.","key_machinery":"The load-bearing object is the class SMR_{p,κ} -- stochastic maximal L^p-regularity with weight t^κ dt -- for the linear pair (A,B): the linear equation du + Au dt = f dt + (Bu + g) dW must be uniquely solvable with an a priori estimate in L^p(w^a_κ; X1) controlled by f and g (Definitions 3.7--3.8). The second ingredient is the criticality inequality (1.4), 1+κ over p ≤ (1+ρ)(1-β) over ρ, which ties the growth ρ of the Lipschitz constants of (F,G) to the interpolation exponent β of the space where they act; Lemma 4.3 converts this inequality into a critical interpolation estimate that makes the fixed-point argument work exactly at the scaling-invariant endpoint.","core_discovery":"On the paper's own terms, the discovery is Theorem 1.1: assuming (A,B) ∈ SMR_{p,κ} on a UMD Banach space X0 of type 2, with X1 = D(A), and assuming (F,G) satisfy the local Lipschitz estimate (1.2) with the criticality condition (1.4), every initial value u0 in the trace space X_{1-(1+κ)/p,p} yields a unique maximal solution with lifetime σ > 0 a.s. The blow-up criteria state that on {σ < ∞} the limit lim_{t↑σ} u(t) fails to exist in the trace space, and certain norms diverge; the regularization part gives u ∈ $C^{{θ-ε}}$_{loc}((0,σ); X_{1-θ}) for θ ∈ (0,1/2). The key phenomenon is that equality in (1.4) is allowed: the critical setting, which for concrete equations coincides with scaling-invariant spaces, is exactly where the fixed-point argument is delicate.","pith_inferences":["If the criticality condition is genuinely sharp as the paper suggests, then any stochastic parabolic equation with a scaling symmetry has its well-posedness threshold determined by equality in (1.4), giving a systematic way to predict the optimal data space for new SPDEs before performing the estimates.","The transference results (Corollaries 5.10 and 5.11) point toward a general programme for SPDEs: prove global well-posedness in the most convenient (p,κ)-setting for smooth data, then transfer to rough initial data, mirroring the strategy used in deterministic critical PDE theory.","A testable next step is to drop the UMD/type-2 restriction on X0: the Hilbert-space theorem (Theorem 3.13) plus extrapolation suggests SMR may hold for wider classes such as L^2(R; L^q(R)) with q > 2, the case left open in Remark 3.15.","For applications like 3D Navier–Stokes with transport noise, the new Serrin-type criteria could be checked numerically or analytically against known blow-up candidates, providing a concrete test of the sharpness of the abstract critical spaces."],"forward_implications":["Local well-posedness, blow-up criteria, and instantaneous regularization hold simultaneously whenever the two ingredients -- SMR_{p,κ} for (A,B) and the local Lipschitz/criticality condition (1.4) for (F,G) -- are verified.","In concrete equations the abstract critical spaces coincide with scaling-invariant spaces (e.g., Besov B^{d/q-1}_{q,p} or L^d for Navier–Stokes), so the criteria are sharp rather than merely sufficient.","The new blow-up criterion in Theorem 5.1(1) -- non-existence of the limit lim_{t↑σ} u(t) in the trace space -- transfers between different (p,κ)-settings, so global well-posedness for rough data follows from its validity for smooth data.","Applications to stochastic Navier–Stokes with transport noise yield new Serrin-type blow-up criteria; applications to Allen–Cahn, Cahn–Hilliard, quasi-geostrophic, and reaction-diffusion systems (including Lotka–Volterra) give global existence under coercivity or energy bounds."],"supporting_citations":[{"why":"Supplies the local existence and uniqueness theorem (Theorem 4.7) and the interpolation estimates underlying the fixed-point argument.","marker":"[AV22a]"},{"why":"Provides the blow-up criteria and the instantaneous regularization procedure (Theorems 5.1, 5.6, 5.7).","marker":"[AV22b]"},{"why":"Establishes the definition and first general classes of stochastic maximal Lp-regularity for B = 0.","marker":"[NVW12b]"},{"why":"Extends stochastic maximal Lp-regularity to nonzero B and gives the transference principle used in Section 3.5.","marker":"[PV19]"},{"why":"Identifies the deterministic critical setting with equality in (1.4) and proves sharpness of the condition.","marker":"[PSW18]"},{"why":"Removes the extra BIP/UMD conditions in the deterministic maximal-regularity approach and provides the interpolation lemma (Lemma 18.2.7) used in Lemma 4.3.","marker":"[HNVW23]"}],"fun_headline_variants":["Critical SPDE blow-up tamed by one weighted regularity condition","One weighted regularity condition governs SPDE blow-up","One regularity condition rules critical SPDE blow-up","Critical SPDEs: one weighted condition for blow-up and regularization"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"All of the results require that the linear pair (A,B) already have stochastic maximal L^p-regularity with weight t^κ dt; this property is known for many concrete operators but is open in some natural settings (for instance X0 = $L^{2}$(R; L^q(R)) with q > 2), and the paper cites rather than proves it.","fun_headline_variants_meta":{"raw":{"variants":["Critical SPDE blow-up tamed by one weighted regularity condition","One weighted regularity condition governs SPDE blow-up","One regularity condition rules critical SPDE blow-up","Critical SPDEs: one weighted condition for blow-up and regularization"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00098,"raw_usage":{"total_tokens":4183,"prompt_tokens":988,"completion_tokens":3195,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":604,"completion_tokens_details":{"reasoning_tokens":3129}},"tokens_in":604,"tokens_out":3195,"duration_ms":23226,"temperature":1.0,"reasoning_tokens":3129,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-09T22:58:55.196853+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"If one could exhibit a single triple (A,B,F,G) satisfying Assumption 4.1 and (4.3) with (A,B) ∈ SMR_{p,κ} but without a unique maximal local solution, Theorem 1.1 would be false; the first concrete test is the open case of Remark 3.15 -- deciding whether SMR_{p,κ} holds for X0 = $L^{2}$(R; L^q(R)) with q > 2, since failure there would block the framework for that whole class of spaces.","supporting_citations":[],"review_version":1}