{"id":"58ca9ee2-1de9-4054-893e-739f407c704d","arxiv_id":"1908.03382","paper_version":1,"verdict":"ACCEPT","confidence":"MODERATE","novelty_score":6.0,"correctness_risk":"low","formal_verification":"none","parameter_count":0,"one_line_summary":"For semilinear Kolmogorov PDEs with Lipschitz nonlinearities, a unique continuous at-most-polynomially-growing solution to the associated stochastic fixed point equation exists, even without a classical PDE solution.","lead":"This paper proves that a family of stochastic fixed point equations, connected to semilinear partial differential equations through the Feynman-Kac formula, has exactly one solution under mild Lipschitz and growth conditions. The result extends existence and uniqueness to settings where the PDE has no classical solution.","discovery_kind":"extension","skeptic_critique":{"model":"deepseek-v4-flash","headline":"No significant objection identified","rationale":"The reader's verdict is ACCEPT with moderate confidence, and the flagged weakest assumption is the existence of a Lyapunov weight V satisfying the supersolution inequality, the blow-up condition, and the relative growth condition. This is indeed the pivotal condition for the abstract contraction argument: without it there is no complete weighted space and no Φ(V)⊂V. In the SDE application, however, the weight is not an extra hypothesis imposed by hand; it is constructed from the coercivity and polynomial growth assumptions. Lemma 3.3 produces V_q=(1+||x||^2)^{q/2} and proves the generator bound, and Corollary 3.10 chooses q above the growth exponent of f(t,·,0) and g so that the relative growth condition holds. The proof of Theorem 2.9 is internally consistent: completeness of the weighted space is shown, the fixed point map is well-defined, and the contraction estimate is uniform in the weight. The stochastic continuity condition required by the abstract theorem is the other potentially fragile point, but Lemma 3.7 supplies a detailed proof using truncated coefficients, pathwise uniqueness up to stopping times, and the Lyapunov weight to control the approximation error; the final inf-in-k argument removes the truncation dependence. I checked the uniqueness argument in Corollary 3.10: an arbitrary polynomial-growth solution is compared with the constructed solution under a heavier polynomial weight, and Corollary 3.9 gives uniqueness in that larger weighted class. No circular reasoning or missing hypothesis was found. The only weaknesses are cosmetic, such as imprecise constants in the proof of Lemma 3.7 and the lack of a precise novelty comparison with [11, Corollary 3.11]; neither affects the truth of the central claim.","tokens_in":39760,"tokens_out":41414,"duration_ms":431592,"concrete_test":"Recompute the constants in Lemma 3.7, inequality (151), from (143) and (150) for the threshold ε/3, tracking the Markov and Lyapunov factors; verify that the limsup bound still vanishes after inf_{k∈N}. This isolates the most delicate approximation step in the stochastic-continuity proof and confirms that no hidden dependence on k survives.","verdict_should_be":"UNCHANGED","load_bearing_attack":"After checking the chain Theorem 1.1 → Corollary 3.10 → Corollary 3.9 → Theorem 3.8 → Theorem 2.9, I do not find a load-bearing gap. The contraction argument in Theorem 2.9 is complete: the weighted space V is a Banach space under the weighted norm, Corollary 2.7 gives Φ(V)⊂V, and Lemma 2.8 gives contractivity for λ≥2L. The SDE application verifies the required Lyapunov supermartingale inequality (Lemma 3.1), the stochastic continuity hypothesis (Lemma 3.7), and the polynomial Lyapunov weights (Lemma 3.3). The delicate point is the existence of a weight V satisfying (153), the blow-up condition sup_r inf_{O\\O_r} V=∞, and the relative growth condition; in Corollary 3.10 this is supplied by V_q=(1+||x||^2)^{q/2} with q chosen above the growth exponent of f(t,·,0) and g, and Lemma 3.3 proves the required inequality. The uniqueness part correctly handles arbitrary polynomial-growth solutions by choosing a heavier polynomial weight. The most intricate step is the approximation argument in Lemma 3.7; a constant in (151) may be off by a factor from the ε/3 threshold, but the final inf_{k→∞} term is still zero, so the conclusion is unaffected. No load-bearing concern remains.","agreement_with_reader":"agree"},"referee_report":{"model":"deepseek-v4-flash","summary":"This paper studies stochastic fixed point equations (SFPEs) of the form u(t,x)=E[g(X^{t,x}_T)+∫_t^T f(s,X^{t,x}_s,u(s,X^{t,x}_s))ds] for diffusion processes X. The main abstract result (Theorem 2.9) proves existence and uniqueness of a solution u in a weighted space of continuous functions under a Lyapunov supermartingale condition, a stochastic continuity condition on X, and a uniform Lipschitz condition on f in the solution variable. The proof is a contraction argument on a Banach space with an exponentially weighted norm. The paper then specializes this to SDEs with locally Lipschitz coefficients: Theorem 3.8 verifies the abstract hypotheses using a Lyapunov function satisfying an elliptic-type inequality, and Corollary 3.10 establishes existence and uniqueness of at most polynomially growing continuous solutions under the coercivity condition max{<x,mu(x)>, ||sigma(x)||^2} <= L(1+||x||^2). The advertised consequence is that SFPEs can have unique solutions even when the associated semilinear Kolmogorov PDE lacks a classical solution.","tokens_in":39973,"tokens_out":10697,"duration_ms":104194,"significance":"If correct, the result is a clean and useful existence/uniqueness theorem for SFPEs that does not rely on classical PDE theory. The proof is self-contained, detailed, and based on standard tools (Banach fixed point theorem, Ito's formula, Fatou's lemma, Gronwall's inequality, and known SDE existence theory). The paper carefully develops a general weighted-space framework (Theorem 2.9) and verifies its hypotheses for diffusions with locally Lipschitz coefficients and polynomial Lyapunov weights. The application to semilinear Kolmogorov PDEs without classical solutions is a genuine improvement over earlier results and is relevant to full-history recursive multilevel Picard (MLP) methods. The assumptions are explicit and checkable, and the paper includes full proofs of all auxiliary lemmas.","major_comments":[],"minor_comments":[{"comment":"The statement uses the symbol t both for the initial time and for a later starting time (e.g., 'for all t ∈ [0,T], t ∈ [t,T], s ∈ [t,T]'), which is confusing; using a different symbol, such as t̄ or t', for the second time parameter would improve readability.","section":"§3.3, Lemma 3.6"},{"comment":"The assertion that W2 is a closed subset of (W1, ||·||_W1) is attributed to Lemma 2.2, but Lemma 2.2 does not explicitly state this closedness; a one-line direct argument (or a reference to the standard fact that uniform limits of functions vanishing at infinity vanish at infinity) would make the proof self-contained.","section":"§2.5, proof of Theorem 2.9"},{"comment":"In the uniqueness part, the parameter q is introduced for the polynomial growth of the candidate solution v, and then the weight V_{max{2q,2p}} is used; the relation between q and the exponent of the weight could be explained more explicitly to avoid the impression that the choice of exponent is arbitrary.","section":"§3.4, Corollary 3.10"}],"recommendation":"minor_revision","confidential_remarks":"The manuscript is technically sound and the proofs are complete. The paper fits the journal's scope and cites relevant literature. The minor comments above are presentation-only and do not affect the validity of the results."},"author_rebuttal":null,"desk_editor":{"model":"deepseek-v4-flash","letter":"This paper deserves a serious referee. The main result, Theorem 2.9, is a clean Banach fixed-point argument in a weighted continuous-function space on an open domain, with a general Lyapunov weight V. The authors spell out every step: integrability, continuity, contractivity, and the SDE verification. The payoff is that SFPE solutions exist without requiring classical solutions of the associated semilinear Kolmogorov PDE, which matters for work on multilevel Picard schemes and Feynman-Kac representations.\n\nWhat is actually new: the abstract theorem with a general V and open domain is more general than the cited Pazy/Segal/Weissler results and than the authors' own earlier [11, Corollary 3.11]. The polynomial-growth corollary is closer to prior work, and the paper does not quantify exactly how much of Corollary 3.10 was already implicit in [11]. That is a real but minor presentation gap, not a mathematical one.\n\nI checked the chain Theorem 1.1 through Corollary 3.10, Corollary 3.9, Theorem 3.8, and back to Theorem 2.9. No load-bearing gap. The contraction argument is complete: the weighted space is Banach, the map sends the space into itself, and for large enough lambda it is a contraction. The SDE application verifies the Lyapunov supermartingale inequality, the stochastic continuity hypothesis, and provides polynomial weights via Lemma 3.3. The uniqueness step in Corollary 3.10 is handled carefully: any polynomial-growth solution is placed in a heavier weight, then the abstract uniqueness applies.\n\nThe only soft spot I see is in Lemma 3.7. In the approximation argument, the constant in (151) may be off by a factor from the epsilon/3 split. But the final infimum over k is still zero, so the conclusion survives. That is a minor blemish, the kind a referee should flag but not reject over.\n\nCitation pattern is honest. The self-citations point to earlier MLP work that this paper extends, and the comparison with Pazy, Segal, and Weissler is legitimate. No fitted parameters, no circularity, no invented entities.\n\nWho gets value from this: researchers working on MLP approximations for high-dimensional semilinear PDEs, and anyone who needs existence and uniqueness for SFPEs under weak regularity. I would send this to peer review and, given the careful proofs, expect acceptance after minor revision. I would also bring it to a reading group, though the heavy detail makes it a slower read.","headline":"Solid, self-contained existence and uniqueness results for stochastic fixed-point equations; the abstract weighted-space theorem is the real contribution, and the SDE application checks out despite a minor constant issue in Lemma 3.7.","tokens_in":40531,"tokens_out":1918,"would_cite":true,"duration_ms":22142,"reading_group":"maybe","serious_thinker":"yes","would_accept_peer_review":true},"rs_alignment":null,"lean_confirmation":null,"pith_extraction":{"msc":["60H10","60H30","35K58","47H10"],"pacs":[],"model":"deepseek-v4-flash","headline":"The paper proves that stochastic fixed point equations of Feynman–Kac type have unique at-most-polynomially growing continuous solutions under Lipschitz and Lyapunov-type hypotheses, covering semilinear Kolmogorov PDEs even without…","keywords":["stochastic fixed point equations","Feynman-Kac formula","semilinear Kolmogorov PDE","Banach fixed point theorem","Lyapunov function","stochastic differential equations","existence and uniqueness","polynomial growth"],"falsifier":"Run the Banach fixed point iteration in an explicit admissible example where the unique solution is known, for instance $d=m=1$, $\\mu(x)=x$, $\\sigma(x)=1$, $f(t,x,v)=L v$, $g(x)=0$ (the only solution is $u=0$). If two different starting functions produce two different weighted-norm limits, the contraction estimate fails; more decisively, exhibiting any two distinct at-most-polynomial continuous solutions for any coefficient set satisfying the theorem's hypotheses would refute Theorem 1.1.","tokens_in":39541,"feed_emoji":"🎲","tokens_out":10517,"duration_ms":106612,"temperature":0.7,"pith_summary":"The paper establishes existence and uniqueness for stochastic fixed point equations (SFPEs) of the form $u(t,x)=\\mathbb{E}[g(X_T^{t,x})+\\int_t^T f(s,X_s^{t,x},u(s,X_s^{t,x}))\\,ds]$, where $X^{t,x}$ solves an SDE. The main theorem proves this under a uniform Lipschitz condition on $f$ in its last variable, local Lipschitz continuity of the SDE coefficients, polynomial growth of $f$ and $g$, and a coercivity-type bound on the drift and diffusion. The significance is that the result applies to semilinear Kolmogorov PDEs with Lipschitz nonlinearities even when the PDE has no classical solution, so the SFPE representation itself supplies the object of study. The proof is a Banach fixed point argument on a weighted space of continuous functions, with the growth controlled by a Lyapunov weight $V$.","feed_headline":"Unique solutions for stochastic fixed point equations, no PDE needed","feed_subtitle":"A contraction argument yields existence and uniqueness even when the Kolmogorov PDE has no classical solution.","key_machinery":"The central object is the weighted Banach space of continuous functions $u$ on $[0,T]\\times O$ with $\\lim_{r\\to\\infty}\\sup_{[0,T]\\times(O\\setminus O_r)}|u|/V=0$, equipped with the exponentially weighted norm $\\|u\\|_\\lambda=\\sup e^{\\lambda t}|u(t,x)|/V(t,x)$. On this space the SFPE defines a fixed point map $\\Phi$; Lemma 2.8 shows $\\Phi$ is a contraction with constant $L/\\lambda$ using the supermartingale property of $V$ along the SDE, while Corollary 2.7 and Lemma 3.7 ensure that $\\Phi$ maps the space into itself and preserves continuity. Banach's fixed point theorem then yields the unique fixed point.","core_discovery":"The central claim, stated as Theorem 1.1 and in greater generality as Theorem 3.8 and Corollary 3.10, is that under the stated hypotheses there exists a unique continuous function $u:[0,T]\\times\\mathbb{R}^d\\to\\mathbb{R}$, growing at most polynomially in the spatial variable, satisfying the stochastic fixed point equation (2) for every $(t,x)$. The abstract engine, Theorem 2.9, works on any open domain $O$: given a Lyapunov function $V$ that is a supersolution of the associated Kolmogorov operator, grows to infinity at the boundary, and dominates the terminal and initial nonlinearities outside large balls, the fixed point map $\\Phi(u)(t,x)=\\mathbb{E}[g(X_T^{t,x})+\\int_t^T f(s,X_s^{t,x},u(s,X_s^{t,x}))\\,ds]$ is a contraction in the weighted norm $\\|u\\|_\\lambda=\\sup_{t,x}e^{\\lambda t}|u(t,x)|/V(t,x)$ for $\\lambda\\ge 2L$. The SDE applications verify the Lyapunov, integrability, and stochastic-continuity hypotheses from the coercivity condition $\\max\\{\\langle x,\\mu(x)\\rangle,\\|\\sigma(x)\\|^2\\}\\le L(1+\\|x\\|^2)$ and polynomial growth, so uniqueness holds within the class of at most polynomially growing continuous functions.","pith_inferences":["Not in the paper: the contraction estimate could yield explicit convergence rates for full-history recursive multilevel Picard schemes in coefficient regimes where previously only existence was known.","Not in the paper: the Lyapunov-supersolution condition is the flexible input, so one could replace polynomial weights by other weight families to obtain uniqueness in different growth classes.","Not in the paper: because the argument does not rely on PDE regularity, it suggests that the fixed point equation, rather than the PDE, is the more fundamental object for semilinear Kolmogorov equations with rough coefficients.","Not in the paper: a testable extension would be to weaken the uniform Lipschitz condition on $f$ to a local Lipschitz condition with a suitable one-sided bound, though the proof would need a refined contraction estimate."],"forward_implications":["Wherever the Lyapunov hypotheses can be verified, the SFPE has a unique solution directly, without first solving the semilinear Kolmogorov PDE.","For SDEs satisfying the coercivity bound with locally Lipschitz coefficients, the unique solution grows at most polynomially, covering coefficient regimes in which the PDE has no classical solution.","The contraction constant $L/\\lambda$ shows that Picard iteration converges in the weighted norm once $\\lambda\\ge 2L$.","Uniqueness holds within the class of at most polynomially growing continuous functions; no second solution of that growth class can exist.","The abstract theorem applies on general open domains with an appropriate boundary-blowing Lyapunov function, not only on $\\mathbb{R}^d$."],"supporting_citations":[{"why":"Supplies the strong-existence and pathwise-uniqueness theorems for SDEs used in Lemmas 3.4-3.7.","marker":"[15]"},{"why":"Cited as the source of the Lyapunov-function moment bounds behind Lemma 3.1.","marker":"[8]"},{"why":"Cited for the stochastic-continuity estimate on SDE solutions verified in Lemma 3.7.","marker":"[17]"},{"why":"Documents that the associated semilinear Kolmogorov PDE need not have a classical solution, motivating the SFPE formulation.","marker":"[9]"},{"why":"Provides the Urysohn lemma used to build the compactly supported approximations in Lemma 2.3.","marker":"[19]"},{"why":"Supplies the convergence lemma used in the continuity proof of Lemma 2.5.","marker":"[14]"}],"fun_headline_variants":["SFPEs get unique solutions, even when PDEs fall short","Unique stochastic fixed point solutions, no classical PDE required","Contraction argument proves unique SFPE solutions","Existence and uniqueness for SFPEs beyond classical PDEs","Unique SFPE solutions exist even without classical PDEs"],"cache_read_input_tokens":3200,"weakest_assumption_plain":"The load-bearing premise is that a positive Lyapunov weight $V$ exists which the stochastic flow makes decrease on average, which blows up at infinity, and which dominates both the terminal data and the size of $f(\\cdot,\\cdot,0)$; without such a $V$ the fixed point map has no complete weighted space in which to contract.","fun_headline_variants_meta":{"raw":{"variants":["SFPEs get unique solutions, even when PDEs fall short","Unique stochastic fixed point solutions, no classical PDE required","Contraction argument proves unique SFPE solutions","Existence and uniqueness for SFPEs beyond classical PDEs","Unique SFPE solutions exist even without classical PDEs"]},"model":"deepseek-v4-flash","effort":"low","cost_usd":0.00061,"raw_usage":{"total_tokens":2837,"prompt_tokens":940,"completion_tokens":1897,"prompt_tokens_details":{"cached_tokens":384},"prompt_cache_hit_tokens":384,"prompt_cache_miss_tokens":556,"completion_tokens_details":{"reasoning_tokens":1818}},"tokens_in":556,"tokens_out":1897,"duration_ms":13788,"temperature":1.0,"reasoning_tokens":1818,"cache_read_input_tokens":384,"cache_creation_input_tokens":0},"cache_creation_input_tokens":0},"created_at":"2026-08-14T14:14:32.148100+00:00","model_set":{"reader":"deepseek-v4-flash"},"falsifier":"Run the Banach fixed point iteration in an explicit admissible example where the unique solution is known, for instance $d=m=1$, $\\mu(x)=x$, $\\sigma(x)=1$, $f(t,x,v)=L v$, $g(x)=0$ (the only solution is $u=0$). If two different starting functions produce two different weighted-norm limits, the contraction estimate fails; more decisively, exhibiting any two distinct at-most-polynomial continuous solutions for any coefficient set satisfying the theorem's hypotheses would refute Theorem 1.1.","supporting_citations":[{"cited_title":null,"cited_arxiv_id":null,"evidence_quote":"Supplies the strong-existence and pathwise-uniqueness theorems for SDEs used in Lemmas 3.4-3.7."},{"cited_title":"Existence of strong solutions for Itô’s stochastic equatio ns via approximations","cited_arxiv_id":null,"evidence_quote":"Cited as the source of the Lyapunov-function moment bounds behind Lemma 3.1."},{"cited_title":"Stochastic partial differential equations: an introductio n","cited_arxiv_id":null,"evidence_quote":"Cited for the stochastic-continuity estimate on SDE solutions verified in Lemma 3.7."},{"cited_title":"Loss of regularity for Kolmogorov equations","cited_arxiv_id":null,"evidence_quote":"Documents that the associated semilinear Kolmogorov PDE need not have a classical solution, motivating the SFPE formulation."},{"cited_title":"Foundations of modern probability , second ed","cited_arxiv_id":null,"evidence_quote":"Supplies the convergence lemma used in the continuity proof of Lemma 2.5."}],"review_version":1}