{"id":"f6e7c410-1fcd-4100-ae32-e415157fd2a9","arxiv_id":"2411.09381","paper_version":3,"verdict":"CONDITIONAL","confidence":"MODERATE","novelty_score":7.0,"correctness_risk":"medium","formal_verification":"none","parameter_count":0,"one_line_summary":"Under slow-growth conditions on the local Lipschitz constants, the stochastic heat equation on the real line has a unique solution with finite moments of all orders.","lead":"This paper proves that the stochastic heat equation with space-time white noise has a unique solution when the drift and noise coefficients are locally Lipschitz with at most linear growth, provided their local slopes grow slowly enough. It is a step toward a long-standing open problem in stochastic PDEs, extending a classical finite-dimensional SDE result to infinite dimensions.","discovery_kind":"new_method","skeptic_critique":{"model":"deepseek-v4-flash","headline":"Uniqueness proof does not close: it asserts a series of a fixed sup-norm converges and concludes the summand is zero, but the needed N-dependent summable bounds are not derived.","rationale":"The existence part appears internally consistent: the k^3 moment bound in Proposition 2.1 yields the N^{3/2} tail via the optimal Burkholder-Davis-Gundy constant, and condition (3.12) converts that into the exponentially decaying bound needed for (3.1). The WLOG in Remark 2.2 is indeed false as stated, but the proof never relies on it; the k-threshold is tracked explicitly in (3.8), so that remark is not load-bearing. The true soft spot is the uniqueness proof. The theorem's central claim is well-posedness, and uniqueness is half of that claim. As written, the uniqueness section is only an outline and its final step is logically invalid: summing a fixed positive quantity over N and concluding it is zero requires first having summable N-dependent upper bounds. The natural repair is to apply the paper's own Lemma 2.5 to remove the growing weight e^{beta_N t}, but this repair is not shown. The issue is concrete and textual rather than speculative, and it is load-bearing because without it the 'unique' part of Theorem 1.4 is not established. I do not recommend rejection because the fix likely follows from the same estimates used in the existence proof, which is why the appropriate posture remains conditional.","tokens_in":2124,"tokens_out":989,"duration_ms":280132,"concrete_test":"Re-derive the last step of the uniqueness proof: start from the displayed inequality before 'Now we fix the parameters beta and k as in (3.9)', set k=c and beta = 16 A_0^4 c^2 L_{N,sigma}^4, and write the resulting bound for N_{c,beta,T}(u-v). Then apply Lemma 2.5 with f(T) = sup_{t <= T} sup_x ||u(t,x)-v(t,x)||_c and check whether the RHS becomes C(T) exp(512 L_sigma^4 c^2 T - N^{3/2}/(128 c L_sigma^2 sqrt(T))). If yes, the series argument can be replaced by letting N -> infinity and uniqueness holds. If the only consequence is N_{c,beta,T}(u-v) <= epsilon_N with beta -> infinity, the conclusion 'summand is zero' is invalid, and uniqueness is unproved.","verdict_should_be":"UNCHANGED","load_bearing_attack":"The paper proves existence by making the truncation differences u^{N+1}-u^N the objects of the exponentially decaying bound, so the final series (3.1) over N is meaningful. The uniqueness argument, however, applies the same estimates to the fixed difference u-v and ends with 'sum_{N=1}^infinity sup_{t in (0,T)} sup_x ||u(t,x)-v(t,x)||_2 < infinity; since the summand does not depend on N, it must be zero.' This inference is valid only if the proof first establishes sup_{t <= T,x}||u-v||_2 <= C_N with {C_N} summable. The sketch instead fixes beta = beta_N = 16 A_0^4 c^2 L_{N,sigma}^4, which grows with N, and obtains control on the weighted norm N_{c,beta_N,T}(u-v). Because e^{-beta_N t} tends to 0 exponentially, N_{c,beta_N,T}(u-v) -> 0 does not by itself imply ||u-v||_c -> 0; one must apply Lemma 2.5 to convert the weighted bound into sup_{t <= T,x}||u-v||_c <= C(T) exp(512 L_sigma^4 c^2 T - N^{3/2}/(128 c L_sigma^2 sqrt(T))). That application is not written. As a separate but related point, the assertion that Propositions 2.1 and 2.4 extend from u^N to arbitrary u,v presupposes that any solution in the uniqueness class has the all-finite-moments property being proven; the class of solutions for which uniqueness is claimed should be stated and the a priori moment bounds justified.","agreement_with_reader":"partial"},"referee_report":{"model":"deepseek-v4-flash","summary":"The paper studies the stochastic heat equation on the real line driven by space-time white noise, with drift and diffusion coefficients that are locally Lipschitz and of at most linear growth. The main result, Theorem 1.4, asserts that under the rate conditions of Assumption 1.3 on the local Lipschitz constants, the equation has a unique random-field solution with finite moments of all orders. The method truncates the coefficients at levels exp(N), derives uniform moment bounds for the truncated solutions (Propositions 2.1 and 2.3), converts them into tail estimates (Proposition 2.4), and then proves summability of the L^k-norms of the successive truncation differences, yielding a limiting solution. Uniqueness is addressed by applying the same estimates to the difference of two solutions.","tokens_in":16413,"tokens_out":17227,"duration_ms":192309,"significance":"If the proof is completed, the paper makes a substantial contribution: it gives the first well-posedness result on the unbounded spatial domain R for locally Lipschitz coefficients, a setting in which the classical stopping-time argument fails because the solution is expected to be unbounded. The pointwise truncation mechanism and the explicit moment/tail estimates are natural and potentially useful for related equations. The result is, however, conditional on Assumption 1.3, which imposes logarithmic rate conditions on the local Lipschitz constants; it is therefore not a proof of well-posedness under local Lipschitz and linear growth alone, as the opening sentence of the abstract might suggest. The paper also contains a clear, detailed existence argument with explicit constants, which is a strength.","major_comments":[{"comment":"The concluding inference of the uniqueness proof is not justified as written. The preceding estimate controls the weighted norm N_{c,beta_N,T}(u-v) with beta_N = 16 A_0^4 c^2 L_{N,sigma}^4, which tends to infinity with N. Smallness of the weighted norm does not imply smallness of the unweighted sup-norm, because e^{-beta_N t} tends to 0 exponentially. The statement that 'sum_{N=1}^infty sup_{t,x} ||u(t,x)-v(t,x)||_2 < infinity, and since the summand does not depend on N, it must be zero' therefore does not follow from the displayed estimates. The argument can likely be repaired by applying Lemma 2.5, exactly as in the existence proof, to convert the weighted bound into a bound of the form sup_{t<=T,x} ||u-v||_c <= C(T) exp(512 L_sigma^4 c^2 T - N^{3/2}/(128 c L_sigma^2 sqrt(T))), and then letting N tend to infinity. This conversion is load-bearing and needs to be written out.","section":"3 (Proof of uniqueness)"},{"comment":"There is a mismatch in the Burkholder-Davis-Gundy inequality as displayed: Eq. (2.7) bounds the stochastic integral by an integrand involving ||sigma^N(...)||_{2k}^2, whereas the standard BDG inequality for Walsh integrals (as used, for example, in the cited lecture notes) gives ||f||_k^2, not ||f||_{2k}^2. With the subscript 2k, the subsequent step replacing ||u^N(s,y)||_{2k}^2 by N_{k,beta}(u^N)^2 e^{2 beta s} is invalid; at best one obtains a bound involving N_{2k,beta}(u^N), and the fixed-point inequality for N_{k,beta}(u^N) would not close. The same pattern appears in the I_2 and I_4 displays in the uniqueness proof. If the 2k is a typo, it should be corrected throughout; if not, the moment bound in Proposition 2.1 requires a different argument.","section":"2, Eq. (2.7)"},{"comment":"The uniqueness proof transfers Propositions 2.1 and 2.4 from the truncated solutions u^N to arbitrary solutions u and v by saying that the bounds 'only use the linear growth constants' and therefore hold for u and v as well. This transfer is not automatic: those propositions are proved for u^N, and the proof uses properties specific to the truncated mild equation. The theorem should explicitly define the uniqueness class, for instance the class of random-field solutions satisfying sup_{t in [0,T]} sup_x E|u(t,x)|^k < infinity for all T>0 and k>=1, and the moment/tail bounds should either be proved directly for every solution in that class or the transfer should be justified. Without this, the uniqueness claim is ambiguous and the proof is circular.","section":"3 (Proof of uniqueness)"},{"comment":"The passage from the estimate for a fixed moment order c to the claimed summability (3.1) for all k>=1 is stated very briefly. If c is chosen larger than a given k, the L^k norm is bounded by the L^c norm, so the argument is recoverable, but the manuscript should say this explicitly because c appears in (3.6) and (3.9) as a fixed constant and the relabeling step is not immediate.","section":"3, after Eq. (3.13)"}],"minor_comments":[{"comment":"The first sentence says the equation is well posed 'solely' under local Lipschitz continuity and at most linear growth; this is stronger than Theorem 1.4, which requires the rate conditions in Assumption 1.3. The full-text abstract contains the qualifier 'with regularly behaved local Lipschitz constants,' but the metadata version omits it. The abstract should be worded so that the role of Assumption 1.3 is clear.","section":"Abstract"},{"comment":"The claim that 'we can always choose, without incurring loss of generality, L_sigma large enough' is not a valid reduction, since L_sigma is fixed by the problem. The proposition's lower bound on k is acceptable as it stands; the remark should be deleted or rewritten.","section":"2, Remark 2.2"},{"comment":"In Eq. (3.13), the expression ||u^{N+1}(t,x)-u^{N}(t)||_k appears to have a typo; it should be ||u^{N+1}(t,x)-u^{N}(t,x)||_k.","section":"3, Eq. (3.13)"},{"comment":"There are two occurrences of 'y in R^d' in the convergence part of the existence proof; the spatial domain in this paper is R, not R^d.","section":"3, convergence paragraph"},{"comment":"The constant in the displayed error term after (3.5) differs from a direct integration by a factor of 2 (one obtains 1/(256 L_sigma^4 k^2) rather than 1/(128 L_sigma^4 k^2)). Since all constants are non-explicit and the exponential rate is what matters, this is harmless, but the computation should be checked.","section":"3, after Eq. (3.5)"}],"recommendation":"major_revision","confidential_remarks":"The paper's core idea is sound and the existence proof is detailed, but the uniqueness proof is currently a sketch with a genuine gap, and the apparent 2k subscript in the BDG inequality affects the main moment estimate. Both issues appear fixable without changing the scope of the paper, so I would not reject, but the revision must address them before the claims can be accepted. The arXiv metadata abstract should also be synchronized with the qualified statement in the full text."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"Colleague,\n\nThe main result is real: Theorem 1.4 gives strong well-posedness for the stochastic heat equation on the whole line under local Lipschitz coefficients with linear growth plus rate conditions on the local Lipschitz constants. That is a new theorem and a meaningful advance over the bounded-interval stopping-time results. The pointwise truncation idea is the right novelty: instead of stopping, they control the probability that the truncated solution is large at each point and then patch the truncation levels together. The existence proof is long but the mechanism is coherent and the tail estimates do the work. Credit where due: the paper is honest about the earlier error that led to Assumption 1.3, and the reliance on the Dalang–Sanz-Solé monograph for the globally Lipschitz base case is standard, not a red flag.\n\nThe soft spots are real, though.\n\nFirst, the uniqueness proof is an outline and it does not close as written. The stress-test note has it right: the existence argument controls the weighted norm N_{c,β_N,T}(u^{N+1}-u^N) with β_N growing in N, and only after applying Lemma 2.5 do you get a summable N-dependent bound on the unweighted sup norm. The uniqueness section jumps from the same kind of weighted bound to the claim that ∑_N sup_{t,x} ||u(t,x)-v(t,x)||_2 < ∞, without writing the analogous N-dependent bound. Since the summand is independent of N, the conclusion would follow if such a bound existed, but the bound is not derived. This is fixable--the ingredients are all there--but as written it is a genuine gap, not just a missing detail.\n\nSecond, the abstract in the metadata omits Assumption 1.3 and says \"solely under the assumptions\" of local Lipschitz and linear growth. That is false; the rate conditions on L_{N,σ} and L_{N,b} are essential. The full-text abstract is more careful. Fix the metadata.\n\nThird, Remark 2.2's \"without loss of generality, take L_σ large enough\" is not a valid reduction because L_σ is fixed by the problem. The proposition itself is fine with the stated range of k; the WLOG remark is simply wrong and should be deleted.\n\nThe bounded-σ case is only sketched, but that is a minor issue for a paper like this.\n\nBottom line: the central existence argument appears sound, and the theorem is likely true as stated. The uniqueness gap and the abstract overstatement need fixing before I'd trust the paper as a reference, but they are addressable. This deserves a serious referee--send it out, and tell the referee to focus on the uniqueness section.","headline":"Genuinely new existence theorem for the SHE on R with locally Lipschitz coefficients, but the uniqueness proof is an outline that currently does not close.","tokens_in":16979,"tokens_out":5521,"would_cite":true,"duration_ms":44908,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60H15","60H07","60F05"],"pacs":[],"model":"deepseek-v4-flash","headline":"This paper proves that the stochastic heat equation on the whole line with locally Lipschitz, linearly growing coefficients has a unique random-field solution under the slow-growth condition Assumption 1.3.","keywords":["stochastic heat equation","space-time white noise","locally Lipschitz coefficients","linear growth","well-posedness","truncation argument","tail estimates","random-field solution"],"falsifier":"Choose coefficients at the boundary of Assumption 1.3, e.g. with $L_{N,\\sigma}=c N^{3/8}$ and $L_{N,b}=c L_{N,\\sigma}^4$, and compute or bound $P(|u^{N+1}(t,x)|\\ge e^N)$ for the truncated solutions; if this tail decays strictly slower than $\\exp(-c' N^{3/2})$ for large $N$, then the series in (3.1) diverges and the proof's central convergence step fails.","tokens_in":15783,"feed_emoji":"🧮","tokens_out":10657,"duration_ms":100260,"temperature":0.7,"pith_summary":"This paper proves that the stochastic heat equation on the entire real line, driven by space-time white noise, has a unique solution when the drift and diffusion coefficients are only locally Lipschitz and grow at most linearly, provided the local Lipschitz constants grow slowly enough (Assumption 1.3). Well-posedness on an unbounded domain has been a bottleneck because solutions are expected to be unbounded almost surely, which rules out the stopping-time arguments used on bounded intervals. The paper replaces those with a pointwise truncation argument: it clamps the coefficients at exponential levels $e^N$, proves sharp moment and tail estimates for the truncated solutions, and then verifies that the truncated solutions converge in every $L^k(\\Omega)$. If correct, this establishes the first strong well-posedness result of this kind on the line and extends to time-dependent coefficients and the stochastic wave equation.","feed_headline":"Local Lipschitz coefficients yield well-posed SPDE on the line","feed_subtitle":"First strong well-posedness on the unbounded line for this coefficient class, via truncation and tail estimates.","key_machinery":"The engine is the moment bound of Proposition 2.1: $E|u^N(t,x)|^k \\le 4^k(\\|u_0\\|_\\infty+1)^k e^{128 L_\\sigma^4 k^3 t}$ for the solution of the equation truncated at level $e^N$, obtained by combining the heat kernel, the Burkholder–Davis–Gundy inequality, and the choice $\\beta=128k^2L_\\sigma^4$. The bound is then converted, via Chebyshev's inequality with $k=c\\sqrt N$, into the tail estimate $P(|u^{N+1}(t,x)|\\ge e^N)\\le \\exp(-N^{3/2}/(64L_\\sigma^2\\sqrt t))$ of Proposition 2.4. These two estimates make the series $\\sum_N \\sup_{t,x}\\|u^{N+1}(t,x)-u^N(t,x)\\|_k$ converge: on the event $\\{|u^{N+1}|\\le e^N\\}$ the difference is controlled by the local Lipschitz constant $L_{N,\\sigma}$, while on its complement the tail estimate provides an exponentially small factor that beats any power of $N$.","core_discovery":"On the paper's own terms, the central discovery is Theorem 1.4: under Assumption 1.3 — $L_{N,\\sigma}=o(N^{3/8})$, $L_{N,b}/L_{N,\\sigma}^4=O(1)$ when $\\sigma$ is unbounded, and analogous conditions when $\\sigma$ is bounded — the SPDE $\\partial_t u = \\tfrac12 \\partial_x^2 u + b(u) + \\sigma(u) \\dot W$ with bounded measurable initial data has a unique random-field solution with $\\sup_{t\\in[0,T]}\\sup_{x\\in\\mathbb{R}} E|u(t,x)|^k < \\infty$ for every $T>0$ and $k\\ge1$. The proof constructs the solution as the $L^k$-limit of solutions to truncated equations and shows that the differences $\\|u^{N+1}-u^N\\|_k$ sum to a finite series; the limit is then shown to satisfy the mild equation. The novelty is that the truncation is pointwise in $(t,x)$, with tail probabilities of the truncated solution doing the work that stopping times do on bounded domains.","pith_inferences":["The sharp form of the Burkholder–Davis–Gundy inequality is what pins the moment exponent at $k^3$; with a coarser constant the tail decay would fall below $e^{-N^{3/2}}$ and the series (3.1) would not converge, so the method is sensitive to this constant.","The paper's Remark 1.8 sketches a route to improving $o(N^{3/8})$ to $o(N^{2/3})$ by an alternative choice of the parameter $k(N)$; carrying this out would directly expand the class of admissible coefficients.","The same exponential-truncation ladder with pointwise tail estimates should apply to other semilinear SPDEs on unbounded domains whenever the truncated solutions admit moment bounds whose growth in $k$ is at most cubic.","Because the construction is purely $L^k$-based and never invokes a stopping time, it suggests that on the line the only obstruction to well-posedness is the growth of the local Lipschitz constants, not the unboundedness of the spatial domain."],"forward_implications":["The class of admissible coefficients includes oscillatory diffusions such as $\\sigma(x)=\\sin(1000(1+|x|)^{1/4})$, which are nowhere near globally Lipschitz; for these, any drift with Lip$_n(b)=o(n)$ is allowed.","The proof works verbatim for time-dependent coefficients $b(t,x),\\sigma(t,x)$ with uniform-in-time growth and oscillation bounds, so the result applies to non-autonomous heat equations.","The same truncation-and-tail scheme yields well-posedness for the stochastic wave equation, as the authors state.","When $\\sigma$ is bounded, Assumption 1.3 becomes much milder: $\\sigma$ may have Lip$_n(\\sigma)=o(\\sqrt n)$ and the drift may have Lip$_n(b)=o(n)$, substantially enlarging the tractable regime.","The convergence in the series (3.1) is strong enough to give $L^k$-continuity and a predictable version of the limit, so the constructed object is a genuine random-field solution, not merely a weak solution."],"supporting_citations":[{"why":"Defines the martingale-measure stochastic integral that gives meaning to the white-noise driving term in the mild equation.","marker":"[2]"},{"why":"Provides the standard existence and uniqueness theory for the truncated SPDE with globally Lipschitz coefficients, the base of the truncation ladder.","marker":"[11]"},{"why":"Supplies the existence, uniqueness, and $L^k$-continuity of the truncated solutions (Theorems 4.2.1 and 4.2.8) that the argument starts from.","marker":"[4]"},{"why":"Gives the asymptotically optimal Burkholder–Davis–Gundy inequality whose factor $4k$ produces the $k^3$ exponent in the moment bound.","marker":"[3]"}],"fun_headline_variants":["Locally Lipschitz coefficients enough for SPDE well-posedness on R","Truncation proves SPDE well-posed with locally Lipschitz coefficients","Well-posed SPDEs on the line: locally Lipschitz suffices","No global Lipschitz needed: SPDE well-posed on R","Locally Lipschitz coefficients tame SPDEs on the unbounded line"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that the moment bound of Proposition 2.1, $E|u^N(t,x)|^k\\le 4^k(\\|u_0\\|_\\infty+1)^k e^{128L_\\sigma^4k^3t}$, holds with exactly these constants; if the true growth in $k$ were any worse, the tail estimate would decay more slowly than $e^{-N^{3/2}}$ and the series of truncation differences would not converge.","fun_headline_variants_meta":{"raw":{"variants":["Locally Lipschitz coefficients enough for SPDE well-posedness on R","Truncation proves SPDE well-posed with locally Lipschitz coefficients","Well-posed SPDEs on the line: locally Lipschitz suffices","No global Lipschitz needed: SPDE well-posed on R","Locally Lipschitz coefficients tame SPDEs on the unbounded line"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.001506,"raw_usage":{"total_tokens":6040,"prompt_tokens":950,"completion_tokens":5090,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":566,"completion_tokens_details":{"reasoning_tokens":5002}},"tokens_in":566,"tokens_out":5090,"duration_ms":34835,"temperature":1.0,"reasoning_tokens":5002,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-12T20:44:45.904746+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Choose coefficients at the boundary of Assumption 1.3, e.g. with $L_{N,\\sigma}=c N^{3/8}$ and $L_{N,b}=c L_{N,\\sigma}^4$, and compute or bound $P(|u^{N+1}(t,x)|\\ge e^N)$ for the truncated solutions; if this tail decays strictly slower than $\\exp(-c' N^{3/2})$ for large $N$, then the series in (3.1) diverges and the proof's central convergence step fails.","supporting_citations":[{"cited_title":"Dalang,Extending the martingale measure stochastic integral with applications to spatially homogeneous s.p.d.e.’s, Electron","cited_arxiv_id":null,"evidence_quote":"Defines the martingale-measure stochastic integral that gives meaning to the white-noise driving term in the mild equation."},{"cited_title":"Walsh,An Introduction to Stochastic Partial Differential Equations, École d’été de Probabilités de Saint-Flour, XIV–1984, 1986, pp","cited_arxiv_id":null,"evidence_quote":"Provides the standard existence and uniqueness theory for the truncated SPDE with globally Lipschitz coefficients, the base of the truncation ladder."},{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Gives the asymptotically optimal Burkholder–Davis–Gundy inequality whose factor $4k$ produces the $k^3$ exponent in the moment bound."}],"review_version":1}